Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Languages with self-reference II: knowledge, belief and modality
Artificial Intelligence
Meta-programming in logic programming
Meta-programming in logic programming
Meta-programming in logic programming
What is a meta-variable in Prolog?
Meta-programming in logic programming
The art of metaobject protocol
The art of metaobject protocol
A metalogic programming approach to multi-agent knowledge and belief
Artificial intelligence and mathematical theory of computation
Database updates in the event calculus
Journal of Logic Programming
Formalization of metaprogramming for real
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
The Go¨del programming language
The Go¨del programming language
Ambivalent logic as the semantic basis of metalogic programming: I
Proceedings of the eleventh international conference on Logic programming
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Meta-logics and logic programming
Meta-logics and logic programming
Correctness of the Vanilla meta-interpreter and ambivalent syntax
Meta-logics and logic programming
A vademecum of ambivalent logic
Meta-logics and logic programming
Two semantics for definite meta-programs, using the non-ground representation
Meta-logics and logic programming
Meta-logic for program composition: semantics issues
Meta-logics and logic programming
Towards fast and declarative meta-programming
Meta-logics and logic programming
Composing logic programs by meta-programming in Go¨del
Meta-logics and logic programming
Meta-programming with theory systems
Meta-logics and logic programming
Modal and meta languages: consistency and expressiveness
Meta-logics and logic programming
Model-based diagnosis preferences and strategies representation with logic meta-programming
Meta-logics and logic programming
A metatheory of a mechanized object theory
Artificial Intelligence
Meta-Level Architectures and Reflection
Meta-Level Architectures and Reflection
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Proceedings of the 3rd International Workshop on Meta-Programming in Logic
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Reflective Agents in Metalogic Programming
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
A Complete Resolution method for Logical Meta-Programming Languages
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
Logic Meta-Programming Facilities in 'LOG
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
Definable Naming Relations in Meta-level Systems
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
CAiSE '97 Proceedings of the 9th International Conference on Advanced Information Systems Engineering
Combining Introspection and Communication with Rationality and Reactivity in Agents
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Formal Analysis of Smithsonian Computational Reflection
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
From Dalang to Kava - The Evolution of a Reflective Java Extension
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Introspective Metatheoretic Reasoning
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
A Basis for a Multi-Level Meta-Logic Programming Language
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
The Practice of Logical Frameworks
CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
Using Meta-Theoretic Reasoning to do Algebra
Proceedings of the 5th Conference on Automated Deduction
LISP 1.5 Programmer's Manual
Meta-level knowledge: overview and applications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Checking proofs in the metamathematics of first order logic
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
ACM SIGPLAN Notices
On the meta-logic of arguments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The Journal of Supercomputing
Consciousness, Agents and the Knowledge Game
Minds and Machines
Metacognition in computation: a selected research review
Artificial Intelligence
Information Coordination Using Meta-agents in Information Logistics Processes
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III
Applying Multi-Agent System Technique to Production Planning in Order to Automate Decisions
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
An overview of AI research in Italy
Artificial intelligence
On the meta-logic of arguments
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Completing causal networks by meta-level abduction
Machine Learning
| Hi-index | 0.00 |
We present the basic principles and possible applications of systems capable of meta-reasoning and reflection. After a discussion of the seminal approaches, we outline our own perception of the state of the art, mainly but not only in computational logic and logic programming. We review relevant successful applications of meta-reasoning, and the basic underlying semantic principles.