Narrow your search

Library

KU Leuven (4)

Odisee (4)

Thomas More Kempen (4)

Thomas More Mechelen (4)

UCLL (4)

ULB (4)

ULiège (4)

VIVES (4)

KBC (3)

UGent (3)

More...

Resource type

book (5)


Language

English (5)


Year
From To Submit

2022 (1)

2019 (2)

2018 (1)

2017 (1)

Listing 1 - 5 of 5
Sort by

Book
KI 2018: Advances in Artificial Intelligence : 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
Authors: ---
ISBN: 3030001113 3030001105 Year: 2018 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 41st German Conference on Artificial Intelligence, KI 2018, held in Berlin, Germany, in September 2018. The 20 full and 14 short papers presented in this volume were carefully reviewed and selected from 65 submissions. The book also contains one keynote talk in full paper length. The papers were organized in topical sections named: reasoning; multi-agent systems; robotics; learning; planning; neural networks; search; belief revision; context aware systems; and cognitive approach. .


Book
Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings.
Authors: ---
ISBN: 3031215419 3031215400 Year: 2022 Publisher: Cham : Springer International Publishing AG,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26-28, 2022. This is the 6th conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems).The 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation.

Keywords

Mathematics


Book
Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings
Authors: --- --- ---
ISBN: 3319706829 3319706810 Year: 2017 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed proceedings of the 7th Joint International Semantic Technology Conference, JIST 2017, held in Goldcoast, QLD, Australia, in November 2017.  The 19 full papers and 4 short papers presented were carefully reviewed and selected from 37 submissions. They present applications of semantic technologies, theoretical results, new algorithms and tools to facilitate the adoption of semantic technologies and are organized in topical sections on ontology and data management; ontology reasoning; linked data and query; information retrieval and knowledge discovery; knowledge graphs; and applications of semantic technologies.

Keywords

Computer science. --- Mathematical logic. --- Data mining. --- Information storage and retrieval. --- Artificial intelligence. --- Application software. --- Computer Science. --- Information Storage and Retrieval. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Data Mining and Knowledge Discovery. --- Mathematical Logic and Formal Languages. --- Computer Appl. in Administrative Data Processing. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Informatics --- Computer software --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Database searching --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Science --- Information storage and retrieva. --- Information systems. --- Artificial Intelligence. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Semantic computing --- Linked data --- Semantic Web --- Data, Linked --- Library linked data --- Linked open data --- LOD (Linked data) --- Open linked data --- Open data, Linked --- Metadata --- Uniform Resource Identifiers --- Computer science --- Semantics


Book
Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Authors: --- --- --- ---
ISBN: 3030221024 3030221016 Year: 2019 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.

Keywords

Computer science. --- Artificial intelligence. --- Logic design. --- Information systems. --- Software engineering. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Logics and Meanings of Programs. --- Computer Appl. in Administrative Data Processing. --- Software Engineering/Programming and Operating Systems. --- Information Systems and Communication Service. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Description logics. --- Logics, Description --- Knowledge representation (Information theory) --- Predicate (Logic) --- Mathematical logic. --- Computer logic. --- Application software. --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer science logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Machine theory. --- Information technology—Management. --- Computer networks. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Computer Application in Administrative Data Processing. --- Software Engineering. --- Computer Communication Networks. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Distributed processing


Book
Description Logic, Theory Combination, and All That
Authors: --- --- --- --- --- et al.
ISBN: 9783030221027 Year: 2019 Publisher: Cham Springer International Publishing :Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 5 of 5
Sort by