Sciweavers

168 search results - page 11 / 34
» A Multivalued Logic Model of Planning
Sort
View
IPM
2008
88views more  IPM 2008»
15 years 1 months ago
Remembering William Goffman: Mathematical information science pioneer
This paper reviews the career and legacy of William (Bill) Goffman, who served as a researcher, Professor, Dean and Emeritus at Case Western Reserve University, Cleveland, Ohio, f...
Glynn Harmon
JAIR
2008
173views more  JAIR 2008»
15 years 1 months ago
Computational Logic Foundations of KGP Agents
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
AI
2001
Springer
15 years 6 months ago
Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
Bradley Bart, James P. Delgrande, Oliver Schulte
AAAI
1990
15 years 3 months ago
Logical Task Modelling for Man-Machine Dialogue
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
M. David Sadek
BDA
2004
15 years 3 months ago
Path Sequence-Based XML Query Processing
We present the path sequence storage model, a new logical model for storing XML documents. This model partitions XML data and content according to the document paths; and uses orde...
Ioana Manolescu, Andrei Arion, Angela Bonifati, An...