5378 search results - page 125 / 1076 » Base Logics in Argumentation |
173
Voted
ENTCS
2008
15 years 6 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
141
click to vote
TCS
2002
15 years 5 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
184
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
187
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
203
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...