Pages that link to "Item:Q2457688"
From MaRDI portal
The following pages link to Partition-based logical reasoning for first-order and propositional theories (Q2457688):
Displayed 20 items.
- Observing, reporting, and deciding in networks of sentences (Q386149) (← links)
- Craig interpolation for networks of sentences (Q435205) (← links)
- First-order logical filtering (Q543591) (← links)
- On decidability of the decomposability problem for finite theories (Q630293) (← links)
- Logic-based subsumption architecture (Q814558) (← links)
- Common knowledge does not have the Beth property (Q987837) (← links)
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- A model of three-way decisions for knowledge harnessing (Q2310297) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Counting truth assignments of formulas of bounded tree-width or clique-width (Q2473047) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- Decomposing SAT Instances with Pseudo Backbones (Q3304190) (← links)
- DESIGNING PROTOCOLS FOR ABDUCTIVE HYPOTHESIS REFINEMENT IN DYNAMIC MULTIAGENT ENVIRONMENTS (Q3462274) (← links)
- PEER-TO-PEER REASONING FOR INTERLINKED ONTOLOGIES (Q3583061) (← links)
- Verifying Time and Communication Costs of Rule-Based Reasoners (Q3614874) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)