Logical Foundations for Cognitive Agents - Artificial Intelligence
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642643064, 9783642602115

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specifying Database Transactions and Active Rules in the Situation Calculus

Logical Foundations for Cognitive Agents - Artificial Intelligence ◽

10.1007/978-3-642-60211-5_4 ◽

1999 ◽

pp. 41-56 ◽

Cited By ~ 5

Author(s):

Leopoldo Bertossi ◽

Javier Pinto ◽

Ricardo Valdivia

Keyword(s):

Situation Calculus ◽

Active Rules ◽

Database Transactions

Download Full-text

Reactivity in a Logic-Based Robot Programming Framework (Extended Version)

Logical Foundations for Cognitive Agents - Artificial Intelligence ◽

10.1007/978-3-642-60211-5_15 ◽

1999 ◽

pp. 190-207 ◽

Cited By ~ 3

Author(s):

Yves Lespérance ◽

Kenneth Tam ◽

Michael Jenkin

Keyword(s):

Robot Programming ◽

Extended Version ◽

Programming Framework

Download Full-text

Computing Domain Specific Information

Logical Foundations for Cognitive Agents - Artificial Intelligence ◽

10.1007/978-3-642-60211-5_3 ◽

1999 ◽

pp. 29-40 ◽

Cited By ~ 1

Author(s):

Fahiem Bacchus

Keyword(s):

Specific Information ◽

Domain Specific

Download Full-text

A GOLOG Specification of a Hypertext System

Logical Foundations for Cognitive Agents - Artificial Intelligence ◽

10.1007/978-3-642-60211-5_20 ◽

1999 ◽

pp. 309-324 ◽

Cited By ~ 2

Author(s):

Richard B. Scherl

Download Full-text

Default Logic and purity of reasoning

Logical Foundations for Cognitive Agents - Artificial Intelligence ◽

10.1007/978-3-642-60211-5_2 ◽

1999 ◽

pp. 11-28

Author(s):

Gianni Amati ◽

Luigia Carlucci Aiello ◽

Fiora Pirri

Keyword(s):

Default Logic

Download Full-text

Explanatory Diagnosis: Conjecturing Actions to Explain Observations

Logical Foundations for Cognitive Agents - Artificial Intelligence ◽

10.1007/978-3-642-60211-5_13 ◽

1999 ◽

pp. 155-172 ◽

Cited By ~ 4

Author(s):

Sheila A. Mcllraith

Download Full-text

Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter

Logical Foundations for Cognitive Agents - Artificial Intelligence ◽

10.1007/978-3-642-60211-5_18 ◽

1999 ◽

pp. 234-299 ◽

Cited By ~ 2

Author(s):

Jack Minker

Download Full-text

An Improved Incremental Algorithm for Generating Prime Implicates

Logical Foundations for Cognitive Agents - Artificial Intelligence ◽

10.1007/978-3-642-60211-5_9 ◽

1999 ◽

pp. 103-112 ◽

Cited By ~ 3

Author(s):

Johan Kleer

Keyword(s):

Incremental Algorithm

Download Full-text

On existence of extensions for default theories

Logical Foundations for Cognitive Agents - Artificial Intelligence ◽

10.1007/978-3-642-60211-5_7 ◽

1999 ◽

pp. 79-85

Author(s):

Giovanni Criscuolo ◽

Eliana Minicozzi

Download Full-text

Modeling and Analysis of Hybrid Control Systems

Logical Foundations for Cognitive Agents - Artificial Intelligence ◽

10.1007/978-3-642-60211-5_23 ◽

1999 ◽

pp. 370-396 ◽

Cited By ~ 4

Author(s):

Ying Zhang ◽

Alan K. Mackworth

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Modeling And Analysis ◽

Hybrid Control Systems

Download Full-text

Logical Foundations for Cognitive Agents - Artificial IntelligenceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Specifying Database Transactions and Active Rules in the Situation Calculus

Reactivity in a Logic-Based Robot Programming Framework (Extended Version)

Computing Domain Specific Information

A GOLOG Specification of a Hypertext System

Default Logic and purity of reasoning

Explanatory Diagnosis: Conjecturing Actions to Explain Observations

Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter

An Improved Incremental Algorithm for Generating Prime Implicates

On existence of extensions for default theories

Modeling and Analysis of Hybrid Control Systems

Logical Foundations for Cognitive Agents - Artificial Intelligence
Latest Publications