Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Emmanouil Marakakis
Knowledge Representation in a Proof Checker for Logic Programs
Related publications
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
