Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by PETER J. STUCKEY
Stable Model Semantics for Founded Bounds
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Related publications
Hybrid Rules With Well-Founded Semantics
Knowledge and Information Systems
Information Systems
Human-Computer Interaction
Hardware
Architecture
Artificial Intelligence
Software
Approximating the Stable Model Semantics Is Hard
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
An Infinite-Game Semantics for Well-Founded Negation in Logic Programming
Annals of Pure and Applied Logic
Logic
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Well-Founded Semantics for Extended Logic Programs With Dynamic Preferences
Journal of Artificial Intelligence Research
Artificial Intelligence
Well-Founded Semantics for Description Logic Programs in the Semantic Web
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Local Closed World Reasoning With Description Logics Under the Well-Founded Semantics
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Template Semantics for Model-Based Notations
IEEE Transactions on Software Engineering
Software
