3658 search results - page 138 / 732 » The logic of proofs, semantically |
96
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
128
Voted
DLOG
2007
15 years 3 months ago
2007
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
LPNMR
2004
Springer
15 years 6 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 ...
117
Voted
AIML
2008
15 years 2 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...
106
Voted
ENTCS
2006
15 years 21 days 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...