3566 search results - page 310 / 714 » Signed Logic Programs |
133
click to vote
PLILP
1997
Springer
15 years 7 months ago
1997
Springer
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
158
Voted
ENTCS
2002
15 years 3 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
265
Voted
COSIT
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
119
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
109
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...