17054 search results - page 194 / 3411 » Logics of Dynamical Systems |
208
click to vote
LATIN
2004
Springer
16 years 14 days ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
196
click to vote
FUIN
2010
15 years 4 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
256
click to vote
ARGMAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
226
click to vote
LPNMR
1999
Springer
15 years 11 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
162
click to vote
SBIA
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...