×

Logic-based artificial intelligence. Proceedings of a workshop, Washington, DC, USA, June 1999. (English) Zbl 0960.00037

The Kluwer International Series in Engineering and Computer Science. 597. Dordrecht: Kluwer Academic Publishers. xxiii, 606 p. (2000).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Minker, Jack, Introduction to logic-based artificial intelligence, 3-33 [Zbl 0979.68095]
McCarthy, John, Concepts of logical AI, 37-56 [Zbl 0979.68096]
De Giacomo, Giuseppe; Levesque, Hector, Two approaches to efficient open-world reasoning, 59-78 [Zbl 0979.68097]
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald, Declarative problem-solving using the DLV system, 79-103 [Zbl 0979.68091]
Delgrande, James P.; Schaub, Torsten, The role of default logic in knowledge representation, 107-126 [Zbl 0979.68098]
Denecker, Marc; Marek, Victor; Truszczyński, Mirosław, Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning, 127-144 [Zbl 0988.68183]
Lifschitz, Vladimir; McCain, Norman; Remolina, Emilio; Tacchella, Armando, Getting to the airport: The oldest planning problem in AI, 147-165 [Zbl 0979.68099]
Kautz, Henry; Selman, Bart, Encoding domain and control knowledge for propositional planning, 169-186 [Zbl 0979.68094]
Geffner, Héctor, Functional strips: A more flexible language for planning and problem solving, 187-209 [Zbl 0979.68092]
Pirri, Fiora; Reiter, Raymond, Planning with natural actions in the situation calculus, 213-231 [Zbl 0980.68103]
Shanahan, Murray, Reinventing Shakey, 233-253 [Zbl 0979.68115]
Baral, Chitta; Gelfond, Michael, Reasoning agents in dynamic domains, 257-279 [Zbl 0979.68100]
Meyer, J.-J. Ch., Dynamic logic for reasoning about actions and agents, 281-311 [Zbl 0988.03054]
Muggleton, Stephen; Marginean, Flaviu, Logic-based machine learning, 315-330 [Zbl 0979.68082]
Benferhat, Salem; Dubois, Didier; Fargier, Hélène; Prade, Henri; Sabbadin, Régis, Decision, nonmonotonic reasoning and possibilistic logic. An introductory survey of recent results, 333-358 [Zbl 0979.68113]
Perlis, Don, The role(s) of belief in AI, 361-374 [Zbl 0981.68149]
Thomason, Richmond H., Modeling the beliefs of other agents. Achieving mutuality, 375-403 [Zbl 0979.68101]
Schubert, Lenhart K., The situations we talk about, 407-439 [Zbl 0979.68116]
Gottlob, Georg; Grädel, Erich; Veith, Helmut, Linear time Datalog and branching time logic, 443-467 [Zbl 0979.68060]
Nebel, Bernhard, On the expressive power of planning formalisms. Conditional effects and Boolean preconditions in the STRIPS formalisms, 469-488 [Zbl 0981.68150]
Niemelä, Ilkka; Simons, Patrik, Extending the Smodels system with cardinality and weight constraints, 491-521 [Zbl 0979.68015]
Wang, Haixun; Zaniolo, Carlo, Nonmonotonic reasoning in \(LDL^{++}\), 523-544 [Zbl 0979.68041]
Moore, J. Strother, Towards a mechanically checked theory of computation. The ACL2 project, 547-574 [Zbl 0979.68090]
Levy, Alon Y., Logic-based techniques in data integration, 575-595 [Zbl 0979.68102]

MSC:

00B25 Proceedings of conferences of miscellaneous specific interest
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
PDFBibTeX XMLCite