Logical foundations of artificial intelligence

M. Genesereth, N. Nilsson · Elsevier eBooks · 1987

Explore this paper's citation graph

Type: book
Published: 1987-07-15
Cited by: 1,664
References: 7
DOI: https://doi.org/10.1016/c2009-0-27551-9
OpenAlex: https://openalex.org/W2012170877
Semantic Scholar: https://api.semanticscholar.org/CorpusID:29423399

Keywords

Computer science, Artificial intelligence, Cognitive science, Programming language, Psychology

References

Conceptual Structures: Information Processing in Mind and MachineJohn F. Sowa — 1983
Review: J. Michael Dunn, A Truth Value Semantics for Modal LogicMelvin Fitting — 1977
Principles of Artificial IntelligenceNils J. Nilsson — 1980
Logic for problem solvingRobert Kowalski, Steve Smoliar — 1982
Probabilistic Logic *N. Nilsson, D. Loveland

Cited by

Agents from Functional-Computational PerspectiveJozef Kelemen — 2006
Projection in Decomposed Situation CalculusEyal Amir — 2002
Methodologies and Software Engineering for Agent SystemsFederico Bergenti, Franco Zambonelli, Marie-Pierre Gleizes — 2004
Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00Vladimir Lifschitz — 1988
On Minimum Representations of Matched FormulasOndřej Čepek, S Gursky, Petr Kučera — 2014
XTT+ Rule Design Using the ALSV(FD)Grzegorz J. Nalepa, Antoni Ligęza — 2008
Metacognition in computation: A selected historyMichael T. Cox — 2005
A OO Framework for Multi-Agent SystemsStefania Bandini, Flavio De Paoli, Sara Manzoni — 2001
Semantic service description framework for efficient service discovery and compositionXiaofeng Du — 2009
A Multi-Agent System with a Cooperative Strategy to Study Biodiversity and Orientation in Re-Collect CountrysideMiguel Delgado-Prieto, Waldo Fajardo, Eva Gibaja — 2003
Design Problems, Frames and Innovative SolutionsMartin Džbor — 2009
A pragmatic Bayesian platform for automating scientific inductionKevin B. Korb — 1992
Intelligent Multimedia-A New Computing Technique And Its ApplicationsCyrus F. Nourani — 1999
Discriminative Training of Markov Logic NetworksParag Singla, Pedro Domingos — 2005
Handbook of Constraint ProgrammingF. Rossi, P. V. Beek, T. Walsh — 2006
Modélisation et simulation informatique de l'innovation en médecine : Conception d'un outil d'aide à l'évaluation médico-économique des centres de radiothérapie. (Modeling and computer simulation of medical innovation : Design of a aid to medico-economic evaluation of radiotherapy centers tool)Anastasiya Shtiliyanova — 2012
A Model for Organizational InteractionVirginia Dignum — 2003
Towards a Theory of Epistemic InformationStefano Mizzaro — 2000
On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence ApproachEriksson Lundström, S Z Jenny — 2009
Planning the Construction of a BuildingMartin Aronsson — 1993

Logical foundations of artificial intelligence

Keywords

References

Cited by

Related papers