2500 search results - page 28 / 500 » Logical Semantics of Modularisation |
104
Voted
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
136
click to vote
AIML
2008
15 years 3 months ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
121
click to vote
ENTCS
2006
15 years 2 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
130
click to vote
ENTCS
2006
15 years 2 months ago
2006
Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This proc...
123
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...