Knowledge Representation in a Proof Checker for Logic Programs

QR Code

Knowledge Representation in a Proof Checker for Logic Programs

None

Saved in:

Bibliographic Details
Main Authors:	Marakakis, Emmanouil, Kondylakis, Haridimos, Papadakis, Nikos
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/36660
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A General Knowledge Representation Model of Concepts
by: Ramirez, Carlos, et al.
Published: (2012)

Semantic Knowledge Representations for Soft Data Fusion
by: Laudy, Claire
Published: (2011)

A Knowledge Representation Formalism for Semantic Business Process Management
by: Oro, Ermelinda, et al.
Published: (2012)

Fuzzy Logic, Knowledge and Natural Language
by: Licata, Gaetano
Published: (2012)

Logic of Integrity, Fuzzy Logic and Knowledge Modeling for Machine Education
by: Bunyatova, Fatma Khanum
Published: (2012)

Transforming Natural Language into Controlled Language for Requirements Elicitation: A Knowledge Representation Approach
by: J, Carlos Mario Zapata, et al.
Published: (2012)

Propositional Proof Complexity and Cellular Automata
by: Cavagnetto, Stefano
Published: (2011)

A Correctness Proof of a Mesh Security Architecture
by: Kuhlman, Doug, et al.
Published: (2012)

Knowledge Representation and Validation in a Decision Support System: Introducing a Variability Modelling Technique
by: Elfaki, Abdelrahman Osman, et al.
Published: (2011)

Polygonal Representation of Digital Curves
by: Prasad, Dilip K., et al.
Published: (2012)

Representation System for Quality Indicators by Ontology
by: Takaki, Osamu, et al.
Published: (2012)

Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) /
Published: (1992)

Active Control of Human-Induced Vibrations Using a Proof-Mass Actuator
by: Díaz, Iván M.
Published: (2011)

Logic argument, refutation, and proof
by: Purtill, Richard L., 1931-
Published: (1979)

Hamiltonian Representation of Magnetohydrodynamics for Boundary Energy Controls
by: Nishida, Gou, et al.
Published: (2012)

Logic programming /
Published: (1982)

The logic of programming /
by: Hehner, Eric C. R.
Published: (1984)

Programming logic /
by: Leeson, Marjorie
Published: (1983)

Programming logic /
by: Leeson, Marjorie
Published: (1988)

A General Lattice Representation for Explicit Model Predictive Control
by: Sun, William, et al.
Published: (2011)

Digestion of Knowledge in a KM System to Reveal Implicit Knowledge
by: Moreno-Llorena, Jaime, et al.
Published: (2012)

Representation /
by: Birch, Anthony Harold
Published: (1971)

Data Mining and Neural Networks: The Impact of Data Representation
by: Siraj, Fadzilah, et al.
Published: (2012)

QED: a proof of renormalizability /
Published: (1988)

Transcending Knowledge Management, Shaping Knowledge Governance
by: Karvalics, László Z.
Published: (2012)

A Pipe Route System Design Methodology for the Representation of Imaginal Thinking
by: Yin, Yuehong, et al.
Published: (2012)

The darker proof : stories from a crisis /
by: Mars-Jones, Adam, 1954-
Published: (1987)

Clear and convincing proof /
by: Wilhelm, Kate
Published: (2004)

An introduction to the nature of proof /
by: Del Grande, J. J.
Published: (1967)

Proofs & problems in calculus /
by: Monro, G. P.
Published: (1988)

A Clinical Application of Fuzzy Logic
by: Torshabi, Ahmad Esmaili, et al.
Published: (2012)

Bond-Based Earthquake-Proof of RC Bridge Columns Reinforced with Steel Rebars and SFCBs
by: Fahmy, Mohamed F.M., et al.
Published: (2012)

Wind Tunnel ‘Concept of Proof’ Investigations in the Development of Novel Fluid Mechanical Methodologies and Devices
by: Ahmed, Noor, et al.
Published: (2011)

DNA Representation
by: Kumar, Bharti Rajendra
Published: (2012)

An Overview of Interaction Techniques and 3D Representations for Data Mining
by: Zohra, Ben Said, et al.
Published: (2012)

Video-based Face Recognition using Spatio-Temporal Representations
by: See, John, et al.
Published: (2011)

Compact Internal Representation as a Functional Basis for Protocognitive Exploration of Dynamic Environments
by: Makarov, Valeri A., et al.
Published: (2011)

The Multi-Objective Refactoring Set Selection Problem - A Solution Representation Analysis
by: Chisăliţă-Creţu, Camelia
Published: (2011)

Knowledge in Imperfect Data
by: Kochanski, Andrzej, et al.
Published: (2012)

Towards Adaptive Manufacturing Systems - Knowledge and Knowledge Management Systems
by: Lanz, Minna, et al.
Published: (2012)