593 search results - page 54 / 119 » RDF and Logic: Reasoning and Extension |
103
click to vote
LPNMR
2004
Springer
15 years 5 months ago
2004
Springer
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
111
Voted
DALT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
92
Voted
AIIA
2005
Springer
15 years 6 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
104
click to vote
ICFP
2003
ACM
16 years 15 days ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
117
Voted
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...