A metalogic programming approach: language, semantics and applications
From MaRDI portal
Publication:4305334
DOI10.1080/09528139408953789zbMath0820.68030OpenAlexW1973381136WikidataQ126251932 ScholiaQ126251932MaRDI QIDQ4305334
Gaetano Aurelio Lanzarone, Stefania Costantini
Publication date: 12 October 1994
Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/09528139408953789
automated reasoningHorn clausesknowledge-based systemsdeclarative knowledge representation languagesreflective prolog
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Adding Metalogic Features to Knowledge Representation Languages*
Cites Work
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
- Prolegomena to a theory of mechanized formal reasoning
- An analysis of loop checking mechanisms for logic programs
- Horn clause computability
- Logic and semantic networks
- Transfinite recursive progressions of axiomatic theories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A metalogic programming approach: language, semantics and applications
