]> BibSonomy publications for /author/Sandewall/imported http://www.bibsonomy.org/burst/author/Sandewall/imported BibSonomy BuRST Feed for /author/Sandewall/imported 2008-07-20T23:57:14+02:00 Modeling Rational Agents within a BDI-Architecture http://www.bibsonomy.org/bibtex/27d8602aff0eca21013d275617a3d1669/ramaz ramaz 2007-11-23T14:13:20+01:00 imported
Modeling Rational Agents within a BDI-Architecture
Anand S. Rao and Michael P. Georgeff Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91) 473--484 (1991)
to imported by ramaz on 2007-11-23 14:13:20 ]]> Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning ({KR}'91)473--484Modeling Rational Agents within a {BDI}-Architecture1991imported 2007-11-23 14:13:20.0Intentions, an integral part of the mental state of an agent, play an important role in determining the behavior of rational agents as they seek to attain their goals. In this paper, a formalization of intentions based on a branching�time possible�worlds model is presented. It is shown how the formalism realizes many of the important elements of Bratman's theory of intention. In particular, the notion of intention developed here has equal status with the notions of belief and desire, and cannot be reduced to these concepts. This allows different types of rational agents to be modeled by imposing certain conditions on the persistence of an agent's beliefs, goals, and intentions. Finally, the formalism is compared with Bratman's theory of intention and Cohen and Levesque's formalization of intentions. Automated Programmering: The Programmer's Assistant Some references related to aspect mininghttp://www.bibsonomy.org/bibtex/2da2ca3e84ea174966127d1b634dc6bb3/kimmens kimmens 2007-09-26T11:57:26+02:00 imported
Automated Programmering: The Programmer's Assistant
W. Teitelman Interactive Programming Environments 232-239 (1984)
to imported by kimmens on 2007-09-26 11:57:26 ]]> Interactive Programming Environments232-239Automated Programmering: The Programmer's Assistant1984imported 2007-09-26 11:57:26.0 Interactive Programming Environments Some references related to aspect mininghttp://www.bibsonomy.org/bibtex/26cb5f2428cd1fa311faae57d5c9b22bc/kimmens kimmens 2007-09-26T11:57:26+02:00 imported
Interactive Programming Environments
D. R. Barstow and H. E. Shrobe and E. Sandewall (eds.). (1984)
to imported by kimmens on 2007-09-26 11:57:26 ]]> Interactive Programming Environments1984imported 2007-09-26 11:57:26.0 An Ontology of Meta-Level Categories An Ontology of Meta-Level Categories - Guarino, Carrara, Giaretta (ResearchIndex)http://www.bibsonomy.org/bibtex/2377cf13cbefea5c3256a403ceb5e82a5/macdab macdab 2007-04-30T10:50:16+02:00 SemanticWeb imported ontology
An Ontology of Meta-Level Categories
Nicola Guarino and Massimiliano Carrara and Pierdaniele Giaretta KR'94: Principles of Knowledge Representation and Reasoning 270--280 (1994)
to SemanticWeb imported ontology by macdab on 2007-04-30 10:50:16 ]]> San Francisco, California{KR}'94: Principles of Knowledge Representation and Reasoning270--280An Ontology of Meta-Level Categories1994SemanticWeb imported ontology 2007-04-30 10:50:16.0 Learning the Classic Description Logic: Theoretical and Experimental Results http://www.bibsonomy.org/bibtex/28b2abdee23ac08df107b70bb22325d8f/jens jens 2006-11-19T08:32:56+01:00 concept_learning imported
Learning the Classic Description Logic: Theoretical and Experimental Results
William W. Cohen and Haym Hirsh Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning 121--133 (1994)
to concept_learning imported by jens on 2006-11-19 08:32:56 ]]> Bonn, FRGProceedings of the 4th International Conference on Principles of Knowledge Representation and ReasoningMay121--133Learning the Classic Description Logic: Theoretical and Experimental Results1994concept_learning imported 2006-11-19 08:32:56.0 Integrated Interactive Computing Systems http://www.bibsonomy.org/bibtex/27d8f28afc1e8a2f30454cdc0f69abaac/erikbaaij erikbaaij 2006-10-17T09:27:10+02:00 imported
Integrated Interactive Computing Systems
B. B. Kristensen and Ole L. Madsen and B. M{\ou}ller-Pedersen and K. Nygaard 207-219 (1983)
to imported by erikbaaij on 2006-10-17 09:27:10 ]]> Syntax-directed program modularization207-219Integrated Interactive Computing Systems1983imported 2006-10-17 09:27:10.0 Distributed Plan Maintenance for Scheduling and Execution http://www.bibsonomy.org/bibtex/23047b5bdec0931a17e18b1e1a4aa033f/lysander07 lysander07 2006-07-19T14:57:45+02:00 SOGOS imported
Distributed Plan Maintenance for Scheduling and Execution
Clemens Beckstein and Gerhard K. Kraetzschmar and Josef Schneeberger Current Trends in AI Planning, EWSP'93 --- Second European Workshop on Planning, Frontiers in Artificial Intelligence and Applications Series 74--86 (1994)
to SOGOS imported by lysander07 on 2006-07-19 14:57:45 ]]> Amsterdam, Oxford, Washington D.C., TokyoCurrent Trends in AI Planning, EWSP'93 --- Second European Workshop on Planning, Frontiers in Artificial Intelligence and Applications Series74--86Distributed Plan Maintenance for Scheduling and Execution1994SOGOS imported 2006-07-19 14:57:45.0 Features and Fluents: The representaiton of knowledge about dynamical systems http://www.bibsonomy.org/bibtex/2a6b1f9db42e2a8686d6befda0c005b2f/hanappe hanappe 2006-07-13T17:11:36+02:00 imported
Features and Fluents: The representaiton of knowledge about dynamical systems
Erik Sandewall (1994)
to imported by hanappe on 2006-07-13 17:11:36 ]]> Oxford, UKFeatures and Fluents: The representaiton of knowledge about dynamical systems1994imported 2006-07-13 17:11:36.0