Amanote Research
Register
Sign In
Knowledge Representation in a Proof Checker for Logic Programs
doi 10.5772/37201
Full Text
Open PDF
Abstract
Available in
full text
Date
May 9, 2012
Authors
Emmanouil Marakakis
Haridimos Kondylakis
Nikos Papadakis
Publisher
InTech
Related search
Verifying Networked Programs Using a Model Checker Extension
Methods of Partial Logic for Knowledge Representation and Deductive Reasoning in Incompletely Specified Domains
Proof Automation for Functional Correctness in Separation Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
LUPS — A Language for Updating Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Search in Lax Logic
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Determinacy Inference for Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logic for Knowledge Flow in Social Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Planning for First-Order Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic and Proof in Computer Science
Advances in Knowledge Acquisition, Transfer, and Management
