The following pages link to (Q4800171):
Displaying 21 items.
- Smodels (Q16801) (← links)
- Loop-separable programs and their first-order definability (Q543631) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- Possibilistic uncertainty handling for answer set programming (Q854974) (← links)
- Classification of whist tournaments with up to 12 players (Q1406035) (← links)
- The Fusemate logic programming system (Q2055893) (← links)
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms (Q2353982) (← links)
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448) (← links)
- A three-valued semantics for querying and repairing inconsistent databases (Q2426103) (← links)
- Model checking multi-agent systems with logic based Petri nets (Q2426108) (← links)
- Comparing action descriptions based on semantic preferences (Q2457799) (← links)
- The near resolvable \(2\)-\((13,4,3)\) designs and thirteen-player whist tournaments (Q2486866) (← links)
- Synthesizing Small and Reliable Tile Sets for Patterned DNA Self-assembly (Q3092339) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- Random logic programs: Linear model (Q4593016) (← links)
- Paraconsistency and word puzzles (Q4593052) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- A Model for Phase Transition of Random Answer-Set Programs (Q5277923) (← links)
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (Q5504654) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
