Meta-reasoning: A Survey

@inproceedings{Costantini2002MetareasoningAS,
  title={Meta-reasoning: A Survey},
  author={S. Costantini},
  booktitle={Computational Logic: Logic Programming and Beyond},
  year={2002}
}
  • S. Costantini
  • Published in
    Computational Logic: Logic…
    2002
  • Computer Science
  • 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. 
    54 Citations
    RL: a Language for Formal Engineering (Short Paper)
    • PDF
    A Logic Programming Language for Multi-agent Systems
    • 112
    • PDF
    A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems
    • 12
    • PDF
    Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features
    • 1
    • PDF
    Combining Reasoning on Semantic Web Metadata
    • 1
    • PDF
    In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming
    • François Bry
    • Computer Science, Mathematics
    • Theory Pract. Log. Program.
    • 2020
    • 4
    • PDF
    On the meta-logic of arguments
    • 60
    • PDF
    On the Meta-logic of Arguments
    Reflection and Introspection for Humanized Intelligent Agents
    • PDF

    References

    SHOWING 1-10 OF 147 REFERENCES
    Using Meta-Theoretic Reasoning to do Algebra
    • 17
    Introspective Metatheoretic Reasoning
    • 20
    Problems and Promises of Computational Logic
    • 96
    Meta-programming with theory systems
    • 8
    • PDF
    Meta-Programming in Logic Progamming
    • 88
    Prolegomena to a Theory of Mechanized Formal Reasoning
    • 452
    Semantics of a Metalogic Programming Language
    • 16
    Declarative Representation of Revision Strategies*
    • G. Brewka
    • Computer Science, Mathematics
    • J. Appl. Non Class. Logics
    • 2001
    • 18
    • PDF