Find link

language:

Find link is a tool written by Edward Betts.

searching for Knowledge representation and reasoning 44 found (284 total)

alternate case: knowledge representation and reasoning

Belief revision (7,932 words) [view diff] case mismatch in snippet view article find links to article

of the Seventh International Conference on Principles of Knowledge Representation and Reasoning. KR. Breckenridge, Colorado, USA: Morgan Kaufmann Publishers

Leonid Libkin (349 words) [view diff] case mismatch in snippet view article find links to article

on Database Theory (ICDT) in 2011, at the Principles of Knowledge Representation and Reasoning Conference in 2014 and 2018., at the ACM SIGMOD Conference

Vivid knowledge (227 words) [view diff] case mismatch in snippet view article find links to article

assumption Knowledge Representation and Reasoning / Ronald J. Brachman, Hector J. Levesque / page 337 Knowledge Representation and Reasoning / Ronald J

Vienna Summer of Logic (332 words) [view diff] case mismatch in snippet view article find links to article

Intelligence stream: International Conference on Principles of Knowledge Representation and Reasoning (KR) International Workshop on Description Logics (DL) International

Bernhard Nebel (373 words) [view diff] case mismatch in snippet view article find links to article

Co-chair for the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), as the Program Co-chair for the 18th German Annual

Logic in computer science (1,721 words) [view diff] case mismatch in snippet view article find links to article

Hector; Ronald Brachman (1985). "A Fundamental Tradeoff in Knowledge Representation and Reasoning". In Ronald Brachman and Hector J. Levesque (ed.). Reading

Propositional directed acyclic graph (375 words) [view diff] case mismatch in snippet view article find links to article

KR'06, 10th International Conference on Principles of Knowledge Representation and Reasoning, Lake District, UK, 2006. M. Wachter & R. Haenni, "Probabilistic

Davis–Putnam algorithm (766 words) [view diff] case mismatch in snippet view article find links to article

Doyle and E. Sandewall and P. Torasso (ed.). Principles of Knowledge Representation and Reasoning: Proc. of the Fourth International Conference (KR'94). Kaufmann

Ontology Definition MetaModel (174 words) [view diff] case mismatch in snippet view article find links to article

Enterprise Architect ODM MDG Technology Formal Modelling, Knowledge Representation and Reasoning for Design and Development of User-centric Pervasive Software:

Mycin (1,106 words) [view diff] exact match in snippet view article find links to article

suggesting that the power in the system was related more to its knowledge representation and reasoning scheme than to the details of its numerical uncertainty

Superoptimization (859 words) [view diff] case mismatch in snippet view article find links to article

Department of Computer Science, Mathematical Foundations Group. Knowledge Representation and Reasoning (KRR) group. University of Bath. 2007-08-07. Archived from

Apache Stanbol (1,309 words) [view diff] case mismatch in snippet view article find links to article

Enhancement Engines. Other contributions of code were the KReS (Knowledge Representation and Reasoning) and the RICK (Reference Infrastructure for Content and

Region connection calculus (813 words) [view diff] case mismatch in snippet view article find links to article

logic based on regions and connection". 3rd Int. Conf. on Knowledge Representation and Reasoning. Morgan Kaufmann. pp. 165–176. Anthony G. Cohn; Brandon

Transaction logic (728 words) [view diff] exact match in snippet view article find links to article

Logic has also been incorporated as part of the Flora-2 knowledge representation and reasoning system. All these implementations are open source. A.J.

Marc Twagirumukiza (955 words) [view diff] exact match in snippet view article find links to article

ontology, terminology, standards and interoperability, medical knowledge representation and reasoning in electronic health records. He participated in the architecture

Georg Gottlob (1,054 words) [view diff] exact match in snippet view article find links to article

; Perri, S.; Scarcello, F. (2006). "The DLV system for knowledge representation and reasoning". ACM Transactions on Computational Logic. 7 (3): 499. arXiv:cs/0211004

Belief–desire–intention software model (2,097 words) [view diff] case mismatch in snippet view article find links to article

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 473–484, 1991. A. S. Rao and M. P. Georgeff. BDI-agents:

Sentential decision diagram (361 words) [view diff] case mismatch in snippet view article find links to article

Adnan (2014). Probabilistic Sentential Decision Diagrams. International Conference on the Principles of Knowledge Representation and Reasoning (KR). v t e

Marta Kwiatkowska (1,306 words) [view diff] case mismatch in snippet view article find links to article

Equilibria-Based Decision Making' Conference on Principles of Knowledge Representation and Reasoning, (KR 2020), on-line event, September 2020. ' 'When to Trust

GOAL agent programming language (1,524 words) [view diff] case mismatch in snippet view article find links to article

revisited. In: Proc. of the 9th Int. Conference Principles of Knowledge Representation and Reasoning (KR’04), 527–535. Koen V. Hindriks, Frank S. de Boer, Wiebe

Hedonic game (3,880 words) [view diff] case mismatch in snippet view article find links to article

Principles of Knowledge Representation and Reasoning. International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press. pp

ClearTalk (962 words) [view diff] no match in snippet view article find links to article

management. Third International Conference on the Principles of Knowledge Representation. and Reasoning. Cambridge, Massachusetts, USA. Skuce, Douglas Richard;

Action description language (1,850 words) [view diff] exact match in snippet view article find links to article

Levesque and R. J. Brachman. A fundamental tradeoff in knowledge representation and reasoning. In Readings in Knowledge Representation, H. J. Levesque

Winograd schema challenge (1,982 words) [view diff] case mismatch in snippet view article find links to article

the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning. "Nuance announces the Winograd Schemas Challenge to Advance

Frank van Harmelen (1,015 words) [view diff] case mismatch in snippet view article find links to article

was appointed full professor in 2002, and is leading the Knowledge Representation and Reasoning Group. Currently he is scientific director the LarKC project

Default logic (3,223 words) [view diff] case mismatch in snippet view article find links to article

the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR'96), pages 518-528. J. Delgrande and T. Schaub (2003)

Michael Genesereth (1,577 words) [view diff] case mismatch in snippet view article find links to article

of the Second International Conference on Principles of Knowledge Representation and Reasoning (pp. 599–600). Morgan Kaufmann Publishers Inc. Genesereth

Neuro-symbolic AI (1,748 words) [view diff] case mismatch in snippet view article find links to article

Reasoning: Contributions and Challenges. AAAI Spring Symposium - Knowledge Representation and Reasoning: Integrating Symbolic and Neural Approaches. Stanford, CA

International Federation for Information Processing (4,036 words) [view diff] case mismatch in snippet view article find links to article

currently includes the following working groups: WG 12.1 Knowledge Representation and Reasoning WG 12.2 Machine Learning and Data Mining WG 12.3 Intelligent

Python (programming language) (13,434 words) [view diff] exact match in snippet view article

particularly useful for AI applications, with Prolog providing knowledge representation and reasoning capablities. The Janus system, in particular, exploits the

Cyc (5,782 words) [view diff] case mismatch in snippet view article find links to article

Archived from the original on February 8, 2015. "Schedule - Knowledge Representation and Reasoning: Integrating Symbolic and Neural Approaches". sites.google

ICAART (1,116 words) [view diff] case mismatch in snippet view article find links to article

Intelligence and Cybersecurity Intelligent User Interfaces Knowledge Representation and Reasoning Knowledge-Based Systems Ambient Intelligence Machine learning

Field Trip (The X-Files) (3,169 words) [view diff] case mismatch in snippet view article

HarperCollins. ISBN 0061075957. Shapiro, Stuart (1995). Knowledge Representation and Reasoning Logics for Artificial Intelligence (PDF). University at

Prolog (7,988 words) [view diff] exact match in snippet view article find links to article

domains like rational numbers. Flora-2 is an object-oriented knowledge representation and reasoning system based on F-logic and incorporates HiLog, Transaction

David Easley (1,959 words) [view diff] case mismatch in snippet view article find links to article

Halpern, Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR2006), 2006. Trading Networks with Price-Setting Agents

Mivar-based approach (3,020 words) [view diff] exact match in snippet view article find links to article

I.; Shoshev, A.I. (2016-10-03). "Mivar technologies in knowledge representation and reasoning" (PDF). Prip'2016: 30–32. Ivanchenko, N.O. (2014-01-01)

DE-9IM (2,844 words) [view diff] case mismatch in snippet view article find links to article

logic based on regions and connection". 3rd Int. Conf. on Knowledge Representation and Reasoning. Morgan Kaufmann. pp. 165–176. Câmara, G.; Freitas, U. M

Argüman (710 words) [view diff] case mismatch in snippet view article find links to article

the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning: 1–2. Hoffmann, Michael H. G. (1 June 2018). "The Elusive

Propositional calculus (15,679 words) [view diff] case mismatch in snippet view article find links to article

documentation". leanprover.github.io. Retrieved 28 March 2024. "Knowledge Representation and Reasoning: Basics of Logics". www.emse.fr. Retrieved 28 March 2024

Belief merging (1,915 words) [view diff] case mismatch in snippet view article find links to article

of the Seventh International Conference on Principles of Knowledge Representation and Reasoning. KR'00. San Francisco, CA, USA: Morgan Kaufmann Publishers

List of datasets for machine-learning research (13,232 words) [view diff] case mismatch in snippet view article find links to article

International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning (AKRR'05), T. Honkela, V. Könönen, M. Pöllä, and O. Simula

Combinatorial participatory budgeting (8,412 words) [view diff] case mismatch in snippet view article find links to article

the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. Vol. 17. pp. 692–702. doi:10.24963/kr.2020/71. ISBN 978-0-9992411-7-2

Vasant Honavar (8,139 words) [view diff] case mismatch in snippet view article find links to article

the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). pp. 590–592. AAAI Press. Santhanam, G., Basu

Glossary of logic (29,832 words) [view diff] case mismatch in snippet view article find links to article

Consciousness. Springer Nature. p. 206. ISBN 978-3-030-21908-6. "Knowledge Representation and Reasoning: Basics of Logics". www.emse.fr. Retrieved 2024-03-28. "6