3032 search results - page 281 / 607 » Description Logic Rules |
117
click to vote
AI
2010
Springer
15 years 4 months ago
2010
Springer
Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it be...
146
Voted
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
130
click to vote
DLOG
2007
15 years 6 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
138
click to vote
JOLLI
2007
15 years 4 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
131
click to vote
ACL
2006
15 years 6 months ago
2006
The present paper proposes a method by which to translate outputs of a robust HPSG parser into semantic representations of Typed Dynamic Logic (TDL), a dynamic plural semantics de...