Pages that link to "Item:Q918192"
From MaRDI portal
The following pages link to An epistemic model of logic programming (Q918192):
Displaying 14 items.
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- Credibilistic programming. An introduction to models and applications (Q383694) (← links)
- An intensional epistemic logic (Q687156) (← links)
- Logic programming and reasoning with incomplete information (Q1924820) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Logics for epistemic programs (Q2431873) (← links)
- (Q3574475) (← links)
- Updating Epistemic Logic Programs (Q3623225) (← links)
- A first step towards autoepistemic logic programming (Q3988856) (← links)
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (Q4221295) (← links)
- (Q4713374) (← links)
- Situated Modeling of Epistemic Puzzles (Q4834294) (← links)
- A substructural epistemic resource logic: theory and modelling applications (Q5216343) (← links)
- From epistemic norms to logical rules: epistemic models for logical expressivists (Q6145025) (← links)