Searching for "A Set of Axioms for Logic." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Research In Design Computing: An Artificial Intelligence Framework
- … Axiom-based research produces computational models of design through the identification of a set…
- Add To MetaCart
-
An Incompleteness Result for Deductive Synthesis of Logic Programs
- … convenient to consider a set of axioms logically equivalent to Comp(PN ), which we shall call Comp (P N…
- Cited by 8 (6 self) – Add To MetaCart
-
A Framework For Research In Design Computing
- …-based research involves the identification of a set of axioms and their consequences to derive a logic…
- Cited by 2 (1 self) – Add To MetaCart
-
Semantic coordination: A new approach and an application
- …. Let T be a theory (a set of axioms) in the logic where φ and ψ are expressed. The portion…
- Cited by 62 (15 self) – Add To MetaCart
-
Semantic Coordination In Systems Of Autonomous Agents: The Approach And An Implementation
- … their meaning in that specific HC) is encoded in a set of logical formulae; (3) mappings across nodes of two HCs…
- Add To MetaCart
-
Inductive Logic Programming: issues, results and the challenge of Learning Language in Logic
- … is to use an explicit domain theory which encodes in a set of logical axioms the relevant properties…
- Cited by 15 (0 self) – Add To MetaCart
-
Pointing to Places in a Deductive Geospatial Theory
- … for this application consists of a set of axioms, logical sentences that provide definitions and describe properties…
- Cited by 1 (0 self) – Add To MetaCart
-
VITAL Knowledge Representation Language Specification
- … and a set of axioms. The logical language is usually first- Final Deliverable Task 412…
- Cited by 3 (1 self) – Add To MetaCart
-
Reduction Properties in Classical and Intuitionistic Logic
- … language), by a set of axioms, and by the logic that controls proofs in the system. In most cases the logic…
- Add To MetaCart
-
MASS - A Real-Time Activation Oriented Specification Language
- … representation, as a set of axioms in the logical language. Verification tools, associated with the logical…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
