The following pages link to Pedro Cabalar (Q309904):
Displayed 49 items.
- A qualitative spatial representation of string loops as holes (Q309906) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Temporal logic programs with temporal description logic axioms (Q2185465) (← links)
- Lower bound founded logic of here-and-there (Q2296740) (← links)
- Multi-context systems in dynamic environments (Q2317972) (← links)
- Splitting epistemic logic programs (Q2326719) (← links)
- Founded world views with autoepistemic equilibrium logic (Q2326721) (← links)
- Towards dynamic answer set programming over finite traces (Q2326722) (← links)
- \textit{telingo} = ASP + time (Q2326733) (← links)
- Metric temporal answer set programming over timed traces (Q2694559) (← links)
- Causal Logic Programming (Q2900512) (← links)
- Causal Graph Justifications of Logic Programs (Q2931267) (← links)
- A Complexity Assessment for Queries Involving Sufficient and Necessary Causes (Q2938502) (← links)
- Answer Set; Programming? (Q3001929) (← links)
- Loop Formulas for Splitable Temporal Logic Programs (Q3003245) (← links)
- Functional answer set programming (Q3008406) (← links)
- (Q3011299) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204) (← links)
- Temporal Equilibrium Logic: A First Approach (Q3523235) (← links)
- Strings and Holes: An Exercise on Spatial Reasoning (Q3530181) (← links)
- Strongly Equivalent Temporal Logic Programs (Q3532454) (← links)
- Temporal Answer Set Programming on Finite Traces (Q4559802) (← links)
- Temporal equilibrium logic: a survey (Q4583305) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- An infinitary encoding of temporal equilibrium logic (Q4593006) (← links)
- Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)
- Temporal logic programs with variables (Q4593085) (← links)
- Verification for ASP denotational semantics: a case study using the PVS theorem prover (Q4644478) (← links)
- (Q4812973) (← links)
- Automata-Based Computation of Temporal Equilibrium Models (Q4909313) (← links)
- A Normal Form for Linear Temporal Equilibrium Logic (Q4930755) (← links)
- Splitting Epistemic Logic Programs (Q4957221) (← links)
- (Q4999252) (← links)
- (Q5020566) (← links)
- (Q5020971) (← links)
- Modular Answer Set Programming as a Formal Specification Language (Q5140013) (← links)
- Towards Metric Temporal Answer Set Programming (Q5140014) (← links)
- eclingo : A Solver for Epistemic Logic Programs (Q5140019) (← links)
- Explaining Preferences and Preferring Explanations (Q5172617) (← links)
- Logics in Artificial Intelligence (Q5394132) (← links)
- (Q5398067) (← links)
- Propositional theories are strongly equivalent to logic programs (Q5431419) (← links)
- Partial Functions and Equality in Answer Set Programming (Q5504669) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5920076) (← links)
- Metric dynamic equilibrium logic (Q6080575) (← links)
- Temporal ASP: from logical foundations to practical use with \texttt{telingo} (Q6166578) (← links)