Searching for "Proof theory in the abstract." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

AgentSpeak(L): BDI Agents speak out in a logical computable language
by Anand S. Rao — 1996
… to show a one-to-one correspondence between the model theory, proof theory, and the abstract interpreter…
Cited by 293 (2 self) – Add To MetaCart

AgentSpeak(L): BDI Agents speak out in a logical computable language
by Anand Rao Australian, Anand S. Rao — 1996
… to show a one-to-one correspondence between the model theory, proof theory, and the abstract interpreter…
Add To MetaCart

Theory of Multiple-Valued Defeasible Argumentation and its Applications
by Takehisa Takahashi Graduate, Takehisa Takahashi — 2004
… by the dialectical proof theory. We give the sound and complete dialectical proof theory for the abstract…
Add To MetaCart

DLP as an abstraction of LO - On the Relations between Disjunctive and Linear Logic Programming
by Marco Bozzano, Giorgio Delzanno, Maurizio Martelli — 2000 — and Linear Logic Programming. Presented at 2000 Joint Conference on Declarative programming (APPIA-GULP-PRODE'00). Available from URL http://nutella.di.unipi.it/agp00/AccptAbstr.html
… the strength and weakness of the two languages. As mathematical tools, we will use `proof theory' and `abstract…
Cited by 1 (1 self) – Add To MetaCart

Weak theories of operations and types
by Thomas Strahm
… of subsystems of second order arithmetic and set theory as well as for studying the proof theory of abstract…
Add To MetaCart

Expressiveness of the logic programming language Forum in planning and concurrency
by Paola Bruscoli, Alessio Guglielmi — 1994
… and concurrency; 6) Conclusions. 2 Proof theory and abstract logic programming 2.1 Gentzen's sequent calculus…
Add To MetaCart

A Logic of Multiple-Valued Argumentation
by Takehisa Takahashi Graduate, Takehisa Takahashi — 2004 — In Proceedings 3rd International Joint Conference on Autonomous Agents and Multi Agent Systems
… by the dialectical proof theory. We give the sound and complete dialectical proof theory for the abstract…
Add To MetaCart

AgentSpeak(L): BDI Agents speak out in a logical
by Computable Language Anand, Anand S. Rao — 1996
… to show a one-to-one correspondence between the model theory, proof theory, and the abstract interpreter…
Add To MetaCart

Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
by François Bry, Adnan Yahya — 2000 — Journal of Automated Reasoning
…, Tableau, Proof Theory. Abstract. Minimal Herbrand models of sets of first-order clauses are useful…
Cited by 5 (0 self) – Add To MetaCart

Elementary explicit types and polynomial time operations
by Daria Spescha, Thomas Strahm — 2008
… the proof theory of abstract computations. There are two basic kinds of objects which are present…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB