3891 search results - page 181 / 779 » A logic for strategic reasoning |
209
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
173
click to vote
LILOG
1989
15 years 10 months ago
1989
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
184
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
160
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
207
click to vote
CADE
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...