Linked e-resources
Details
Table of Contents
Graph-Classes of Argumentation Frameworks with Collective Attacks
Introducing a Tool for Concurrent Argumentation
Probabilistic Argumentation: an Approach Based on Conditional Probability : a Preliminary Report
Conditional Descriptor Revision and its Implementation by a CSP
Trust is All You Need: From Belief Revision to Information Revision
Computing Defeasible Meta-Logic
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies
An Epistemic Logic for Multi-Agent Systems with Budget and Costs
Epistemic Reasoning About Rationality and Bids in Auction
Tractable Combinations of Theories via Sampling
Analyzing Refutability of Difference Constraint Systems in Selected Refutation Systems
Residuation for Lexicographic Orders
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics
ReAD: AD-Based Modular Ontology Classification
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model
A Computationally Grounded Logic of Graded Belief
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic Over the Reals
An Epistemic Probabilistic Logic With Conditional Probabilities
On Syntactic Forgetting under Uniform Equivalence
Solving a Multi-Resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP
Tractable Reasoning Using Logic Programs with Intensional Concepts
Estimating Grounding Sizes of Logic Programs under Answer Set Semantics and System Predictor
Testing in ASP: Revisited Language and Programming Environment
An Abstract View on Optimizations in SAT and ASP
Model Reconciliation in Logic Programs
Lazy Stream Manipulation in Prolog via Backtracking: the Case of 2P-Kt
Transforming Gringo Rules Into Formulas in a Natural Way
DualGrounder: Lazy Instantiation via Clingo Multi-Shot Framework
A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem.
Introducing a Tool for Concurrent Argumentation
Probabilistic Argumentation: an Approach Based on Conditional Probability : a Preliminary Report
Conditional Descriptor Revision and its Implementation by a CSP
Trust is All You Need: From Belief Revision to Information Revision
Computing Defeasible Meta-Logic
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies
An Epistemic Logic for Multi-Agent Systems with Budget and Costs
Epistemic Reasoning About Rationality and Bids in Auction
Tractable Combinations of Theories via Sampling
Analyzing Refutability of Difference Constraint Systems in Selected Refutation Systems
Residuation for Lexicographic Orders
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics
ReAD: AD-Based Modular Ontology Classification
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model
A Computationally Grounded Logic of Graded Belief
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic Over the Reals
An Epistemic Probabilistic Logic With Conditional Probabilities
On Syntactic Forgetting under Uniform Equivalence
Solving a Multi-Resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP
Tractable Reasoning Using Logic Programs with Intensional Concepts
Estimating Grounding Sizes of Logic Programs under Answer Set Semantics and System Predictor
Testing in ASP: Revisited Language and Programming Environment
An Abstract View on Optimizations in SAT and ASP
Model Reconciliation in Logic Programs
Lazy Stream Manipulation in Prolog via Backtracking: the Case of 2P-Kt
Transforming Gringo Rules Into Formulas in a Natural Way
DualGrounder: Lazy Instantiation via Clingo Multi-Shot Framework
A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem.