MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Formal System of Logic." – sorted by Relevance.

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

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

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

ATOM

Object Code Verification
by Matthew Wahab Thesis, Matthew Wahab
… of processor languages makes it difficult to specify and reason about object code programs in a formal system…
Add To MetaCart

Confinement Properties for Programming Languages
by Dennis Volpano, Geoffrey Smith — 1998 — SIGACT News
… in SIGACT News, 1998 But suppose we have a formal system, or logic, in which to reason about a program…
Cited by 11 (0 self) – Add To MetaCart

The CORALI Project: From Conceptual Graphs to Conceptual Graphs via Labelled Graphs
by Michel Chein — 1997 — in Proceedings of the Fifth International Conference on Conceptual Structures, ICCS'97
… representation model "autonomous" from logic, i.e. a formal system having, at least for some parts, a sound…
Cited by 6 (0 self) – Add To MetaCart

Logical Structures in the Lexicon
by John Sowa Ibm, John F. Sowa — 1992 — In Pustejovsky and Bergler
… Graphs Without a formal system of logic, the issues that a lexical theory must address can only…
Add To MetaCart

A New Perspective on Integrating Functional and Logic Languages
by John Darlington, Yi-ke Guo, Helen Pull — 1992 — Languages, Proceedings of the 3rd International Conference on Fifth Generation Computer Systems
…-like systems. Hagiya and Sakurai [MT84] present a formal system for logic programming based on the theory…
Cited by 14 (0 self) – Add To MetaCart

Logic Programming Agents Playing Games
by Marina De Vos, Dirk Vermeir — 2002 — In Research and Development in Intelligent Systems XIX (ES2002), BCS Conference Series
… In this paper we present a formalism for systems of logic programming agents. Such systems are useful…
Cited by 5 (4 self) – Add To MetaCart

Extending Answer Sets for Logic Programming Agents
by M. De Vos, D. Vermeir — 2004 — Special Issue on Computational Logic in Multi-Agent Systems
… with perfect information have a natural formalization as logic programming agent systems. The equilibria…
Cited by 8 (4 self) – Add To MetaCart

Logic Programming, Functional Programming, and Inductive Definitions
by Lawrence C. Paulson, Lawrence C. Paulson, Andrew W. Smith, Andrew W. Smith — 1991 — In Extensions of Logic Programming, volume 475 of LNCS
… and Sakurai [23] present a formal system for logic programming, based on the theory of iterative inductive…
Cited by 7 (0 self) – Add To MetaCart

A Logic of Direct Evidence
by Sungwoo Park, Minyoung Son
…, and thus can be thought of as a normal proof. In a formal system of logic, a normal proof is a proof…
Add To MetaCart

FALCON: Functional and Logic Language with Constraints
by Yi-ke Guo — 1993
…. Hagiya and Sakurai [MT84] present a formal system for logic programming based on the theory of iterative…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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