Sciweavers

3470 search results - page 262 / 694
» Head-Elementary-Set-Free Logic Programs
Sort
View
JELIA
2004
Springer
15 years 12 months ago
Logic Programs with Functions and Default Values
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
Pedro Cabalar, David Lorenzo
WILF
2009
Springer
249views Fuzzy Logic» more  WILF 2009»
16 years 1 months ago
On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
In this work we recall the first steps towards the definition of an answer set semantics for residuated logic programs with negation, and concentrate on the development of relati...
Nicolás Madrid, Manuel Ojeda-Aciego
LPAR
2005
Springer
16 years 1 days ago
Programming Cognitive Agents in Defeasible Logic
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
Mehdi Dastani, Guido Governatori, Antonino Rotolo,...
WLP
2007
Springer
16 years 20 days ago
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
Martin Gebser, Jörg Pührer, Torsten Scha...
ARGMAS
2009
Springer
16 years 1 months ago
Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming
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...
Matthias Thimm