Pages that link to "Item:Q1140436"

The following pages link to Prolegomena to a theory of mechanized formal reasoning (Q1140436):

Displaying 36 items.

• Comparing formal theories of context in AI (Q814585) (← links)
• An epistemic model of logic programming (Q918192) (← links)
• A proof description language and its reduction system (Q1055769) (← links)
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!) (Q1068068) (← links)
• Automated inferencing (Q1070835) (← links)
• Complex structures and composite models - An essay on methodology (Q1071699) (← links)
• Metamathematical extensibility for theorem verifiers and proof-checkers (Q1131849) (← links)
• The independence of control structures in abstract programming systems (Q1155949) (← links)
• Theory construction in psychology: The interpretation and integration of psychological data (Q1157291) (← links)
• An efficient interpreter for the lambda-calculus (Q1158139) (← links)
• Reasoning about reasoning in a meta-level architecture (Q1183375) (← links)
• A theory of abstraction (Q1199923) (← links)
• Heuristic reasoning and relative incompleteness (Q1209535) (← links)
• Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
• Hybrid reasoning using universal attachment (Q1329365) (← links)
• Embedding complex decision procedures inside an interactive theorem prover. (Q1353946) (← links)
• Program tactics and logic tactics (Q1380427) (← links)
• A first order logic of effects (Q1390955) (← links)
• Reflection in conditional rewriting logic (Q1608918) (← links)
• A two-level temporal logic for evolving specifications. (Q1853062) (← links)
• An epistemic logic for multi-agent systems with budget and costs (Q2055785) (← links)
• Dynamics, adaptation and control for mental models: a cognitive architecture (Q2098409) (← links)
• Bringing networks to the next level: self-modeling networks for adaptivity and control of mental models (Q2098410) (← links)
• Who am I really: an adaptive network model addressing mental models for self-referencing, self-awareness and self-interpretation (Q2098418) (← links)
• Milestones from the Pure Lisp Theorem Prover to ACL2 (Q2280212) (← links)
• A metatheory of a mechanized object theory (Q2676562) (← links)
• DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE (Q3352551) (← links)
• Diagnostic Reasoning for Robotics Using Action Languages (Q3449216) (← links)
• (Q3880307) (← links)
• A metalogic programming approach: language, semantics and applications (Q4305334) (← links)
• Mechanizing multi-agent reasoning with belief contexts (Q4632330) (← links)
• ABSFOL: A proof checker with abstraction (Q4647506) (← links)
• Reflection of formal tactics in a deductive reflection framework (Q4647552) (← links)
• Formal semantics of meta-level architectures: Dynamic control of reasoning (Q4785088) (← links)
• Semantic formalization of interactive reasoning functionality (Q4785094) (← links)
• Hybrid planning for challenging construction problems: an answer set programming approach (Q6161492) (← links)