Find link

language:

Find link is a tool written by Edward Betts.

searching for Knowledge representation and reasoning 43 found (142 total)

alternate case: knowledge representation and reasoning

Leonid Libkin (348 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

Belief revision (7,935 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. Breckenridge, Colorado, USA: Morgan Kaufmann Publishers

Bernhard Nebel (370 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

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

Logic in computer science (1,727 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 (384 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

Apache Stanbol (1,319 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

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:

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

Superoptimization (891 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

Georg Gottlob (1,048 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

Region connection calculus (815 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.

Marta Kwiatkowska (1,307 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

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

List of University of Maryland, Baltimore County people (1,598 words) [view diff] no match in snippet view article find links to article

Engineering Tim Finin – computer scientist working on AI, knowledge representation, and reasoning Anupam Joshi – expert in computer security Samuel J. Lomonaco

Belief–desire–intention software model (2,129 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

Mycin (1,836 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

Marc Twagirumukiza (974 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

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

Judea Pearl (2,206 words) [view diff] case mismatch in snippet view article find links to article

Time Award from International Conference on Priciples of Knowledge Representation and Reasoning (2023) BBVA Foundation Frontiers of Knowledge Award (2021)

Hedonic game (3,901 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

Michael Genesereth (1,658 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

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,823 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 (2,038 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

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)

International Federation for Information Processing (4,167 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) (14,391 words) [view diff] exact match in snippet view article

proven useful for AI applications, with Prolog providing knowledge representation and reasoning capabilities. The Janus system, in particular, exploits

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

Prolog (8,098 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

Field Trip (The X-Files) (3,167 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

Mivar-based approach (3,024 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,847 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

Propositional calculus (11,421 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

Argüman (702 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

Belief merging (1,921 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 (14,635 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), Helsinki, Finland, June 15-17, 2005. pp. 49–56

Combinatorial participatory budgeting (8,327 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

Language model benchmark (9,660 words) [view diff] case mismatch in snippet view article find links to article

the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning. Kocijan, Vid; Davis, Ernest; Lukasiewicz, Thomas; Marcus

Glossary of logic (30,237 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