Sciweavers

1143 search results - page 84 / 229
» Prospective Logic Agents
Sort
View
AAAI
1998
15 years 7 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
DALT
2005
Springer
15 years 12 months ago
Agent-Oriented Programming with Underlying Ontological Reasoning
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
Álvaro F. Moreira, Renata Vieira, Rafael H....
FOIS
2006
15 years 7 months ago
The Instrumental Stit A Study of Action and Instrument
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...
Pawel Garbacz
LDVF
2000
102views more  LDVF 2000»
15 years 6 months ago
Imperatives, Commitment and Action: Towards a Constraint-based Model
The aim of this paper is to provide an analysis of the function of imperatives in dialogue. In particular, the focus is on the use of logically complex imperatives (e.g., `Say hel...
Paul Piwek
CLIMA
2007
15 years 7 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite