yusuke1997/dblp-id-title huggingface dataset:
Minimal Inference Problem Over Finite Domains: The Landscape of Complexity
Planning with Preferences Using Logic Programming
Assessing Arguments with Schemes and Fallacies
Generalized Answer Set Planning with Incomplete Information
On the Complexity of Answer Set Programming with Aggregates
GLUE: Opening the World to Theorem Provers
Logic-Based Modeling in Systems Biology
Autoepistemic Logic Programming
circ2dlp - Translating Circumscription into Disjunctive Logic Programming
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
Set Constraints in Logic Programming
Forgetting under the Well-Founded Semantics
Automated Inference of Rules with Exception from Past Legal Cases Using ASP
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs
Computing Intersection of Autoepistemic Expansions
Data Integration and Answer Set Programming
C-ASP: Continuous ASP-Based Reasoning over RDF Streams
Performance Tuning in Answer Set Programming
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
The ASP System DLV2
Back and Forth between Rules and SE-Models
Characterization Theorems for Revision of Logic Programs
Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract)
A-system: Declarative Programming with Abduction
telingo = ASP + Time
Integrating ASP into ROS for Reasoning in Robots
Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects
Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs
Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access
Integrating an Answer Set Solver into Prolog: ASP-PROLOG
LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs
Interactive Debugging of Non-ground ASP Programs
Multi-paradigm Logic Programming in the E rgoAI System
Autoepistemic Logics of Closed Beliefs and Logic Programming
Splitting an Argumentation Framework
Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning
Towards Provenance in Heterogeneous Knowledge Bases
Learning to Rank the Distinctiveness of Behaviour in Serial Offending
Possible Model Semantics for Disjunctive Databases II (Extended Abstract)
plp: A Generic Compiler for Ordered Logic Programs
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver
Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract)
Optimal Multicore Scheduling: An Application of ASP Techniques
Linking Open-World Knowledge Bases Using Nonmonotonic Rules
"Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis
Enhancing DLV for Large-Scale Reasoning
BOEMIE: Reasoning-based Information Extraction
Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages
Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Almost Definite Causal Theories
Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs
cr-models: An Inference Engine for CR-Prolog
Minimal Founded Semantics for Disjunctive Logic Programming
Integrating Answer Set Programming and Satisfiability Modulo Theories
An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings
Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017
The First Version of a New ASP Solver : ASPeRiX
The Return of xorro
Transformations of Logic Programs Related to Causality and Planning
Refining and Generalizing P-log - Preliminary Report
Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
Industrial-Size Scheduling with ASP+CP
Statistical Statements in Probabilistic Logic Programming
Relating Disjunctive Logic Programs to Default Theories
Ricochet Robots: A Transverse ASP Benchmark
Nonmonotonic Inheritance, Argumentation and Logic Programming
On Modular Translations and Strong Equivalence
Omega-Restricted Logic Programs
Manifold Answer-Set Programs for Meta-reasoning
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017
Deductive Systems for Logic Programs with Counting: Preliminary Report
Nonmonotonic Multi-Context Systems in Dynamic Environments
KMonitor - A Tool for Monitoring Plan Execution in Action Theories
On reasoning from Closed World Databases with Disjunctive Views
Constraints and Probabilistic Networks: A Look At The Interface
Prolog and ASP Inference under One Roof
Progress in clasp Series 3
moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming
E-RES: Reasoning about Actions, Events and Observations
OOASP: Connecting Object-Oriented and Logic Programming
Incremental Methods for Optimizing Partial Instantiation
A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint
Communicating ASP and the Polynomial Hierarchy
Reactive Answer Set Programming
ActHEX: Implementing HEX Programs with Action Atoms
Train Scheduling with Hybrid ASP
Metalevel Negation in Non-Monotonic Reasoning
Programming in Default Logic
Default Reasoning with Preference Within Only Knowing Logic
Non-Monotonic Reasoning in FLORID
Autonomous Control of Hybrid Systems with Declarative Controllers
Belief Revision with Bounded Treewidth
Backdoor Trees for Answer Set Programming
The meaning of Negative Premises in Transition System Specifications
Three Lessons in Creating a Knowledge Base to Enable Reasoning, Explanation and Dialog
Resolution for Skeptical Stable Semantics
Implementing Stable Semantics by Linear Programming
A Formal Theory of Justifications
The Conflict-Driven Answer Set Solver clasp: Progress Report
Answer Sets: From Constraint Programming Towards Qualitative Optimization
Conflict-Based Program Rewriting for Solving Configuration Problems
Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications
Towards Inductive Learning of Domain-Specific Heuristics for ASP
Annotated Revision Programs
REVISE: Logic Programming and Diagnosis
Computing the Acceptability Semantics
Graphs and Colorings for Answer Set Programming: Abridged Report
Syntactic ASP Forgetting with Forks
Applying ASP to UML Model Validation
Cluster-Based ASP Solving with claspar
Induction on Failure: Learning Connected Horn Theories
CPP: A Constraint Logic Programming Based Planner with Preferences
Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming
Partial Stable Models for Logic Programs with Aggregates
Improving the Alternating Fixpoint: The Transformation Approach
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs
Answer Set Programming Modulo Acyclicity
A Parallel LP MLN Solver: Primary Report
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations
Partial Models and Three-Valued Models in Logic Programs with Negation
Game Semantics for Non-monotonic Intensional Logic Programming
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning
LTLf2ASP: LTLf Bounded Satisfiability in ASP
Semantics for Conditional Literals via the SM Operator
A Characterization of Stable Models using a Non-Monotonic Operator
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics
Multi-level Algorithm Selection for ASP
Autoepistemic Logic Revisited: The Bias-Free Stable Semantics
A Portfolio Solver for Answer Set Programming: Preliminary Report
ANTON: Composing Logic and Logic Composing
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Recognizing Implicit Discourse Relations through Abductive Reasoning with Large-scale Lexical Knowledge
An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version)
A Deductive System for PC(ID)
Reasoning with Inconsistency in Extended Deductive Databases
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming
A Logic of Non-monotone Inductive Definitions and Its Modularity Properties
Negation as Partial Failure
Answer Set Planning (Abstract)
Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes)
A Simple Distributed Conflict-Driven Answer Set Solver
Automated Reasoning with Non-Monotonic Logics (Abstract)
A Preference-Based Framework for Updating Logic Programs
Industry Needs for Integrated Information Services (Abstract)
Algorithmic Decision Theory Meets Logic - - Invited Talk -
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
Approximating Answer Sets of Unitary Lifschitz-Woo Programs
Abstract Dialectical Frameworks are Boolean Networks
Negation as Stable Hypotheses
Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories
On the Relationship between Defeasible Logic and Well-Founded Semantics
Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis
Present and Future Challenges for ASP Systems
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
clasp : A Conflict-Driven Answer Set Solver
A Revised Concept of Safety for General Answer Set Programs
Towards Automated Integration of Guess and Check Programs in Answer Set Programming
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Well-Founded Reasoning with Classical Negation
On Optimal Solutions of Answer Set Optimization Problems
Forward and Backward Chaining in Constraint Programming (Abstract)
System Description: The DLV K Planning System
Towards First-Order Nonmonotonic Reasoning
Some Recent Advances in Answer Set Programming (from the Perspective of NLP)
Semantic-Based Arguments Using Logic Programming Rewriting Systems
An Application of ASP to the Field of Second Language Acquisition
A First Order Forward Chaining Approach for Answer Set Computing
System f2lp - Computing Answer Sets of First-Order Formulas
On the Expressibility of Stable Logic Programming
State Transition in Multi-agent Epistemic Domains Using Answer Set Programming
Consequence Operators of Characterization Logics - The Case of Abstract Argumentation
Characterizations of Classes of Programs by Three-Valued Operators
Computing Stable Models via Reductions to Difference Logic
A Deductive System for Non-Monotonic Reasoning
Belief Change in Nonmonotonic Multi-Context Systems
Founded World Views with Autoepistemic Equilibrium Logic
Representing Epistemic Intervals in Logic Programs
Clause-Learning for Modular Systems
nomore < : A System for Computing Preferred Answer Sets
Towards Mass Spectrum Analysis with ASP
Arguing Correctness of ASP Programs with Aggregates
Diagnostic Reasoning for Robotics Using Action Languages
Belief Revision and Paraconsistency in a Logic Programming Framework
Strong Equivalence of Logic Programs with Abstract Constraint Atoms
Matchmaking with Answer Set Programming
Circumscribing Embedded Implications
On the Input Language of ASP Grounder Gringo
Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences
Hex Semantics via Approximation Fixpoint Theory
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules
Towards Answer Set Programming with Sorts
Answer Sets for Propositional Theories
Complexity of Only Knowing: The Propositional Case
Verifying Strong Equivalence of Programs in the Input Language of gringo
Using Criticalities as a Heuristic for Answer Set Programming
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
Loops: Relevant or Redundant?
Towards Reactive Multi-Context Systems
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs
Using Answer Set Programming to Enhance Operating System Discovery
Towards Industrial-Scale Product Configuration
Inference of Gene Relations from Microarray Data by Abduction
Concrete Results on Abstract Rules
Updating Extended Logic Programs through Abduction
An Update Front-End for Extended Logic Programs
Planning with Sensing Actions and Incomplete Information Using Logic Programming
Abduction over 3-Valued Extended Logic Programs
A Multiparametric View on Answer Set Programming
Head-Elementary-Set-Free Logic Programs
Extended Logic Programs as Autoepistemic Theories
Internet Routing and Non-monotonic Reasoning
Self-Correcting Unsound Reasoning Agents
Monotone Expansion of Updates in Logical Databases
Modelling Normative Frameworks Using Answer Set Programing
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
A Preferred Model Semantics for Inheritance Systems
ASP for Flexible Payroll Management
Semantics for Possibilistic Disjunctive Programs
Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming
Conditional Planning with External Functions
Efficient Approximation of Well-Founded Justification and Well-Founded Domination
Translating Preferred Answer Set Programs to Propositional Logic
Algorithms for Computing X-Minimal Models
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
Simplifying Logic Programs Under Uniform and Strong Equivalence
The Design of the Seventh Answer Set Programming Competition
Advances in gringo Series 3
Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems
Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993
Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings
A DLP System with Object-Oriented Features
Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language p BC +
Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic
The Well Supported Semantics for Multidimensional Dynamic Logic Programs
Affordable Classes of Normal Logic Programs
Interlinking Logic Programs and Argumentation Frameworks
Revision by Communication
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language
Halo I: A Controlled Experiment for Large Scale Knowledge Base Development
Experimenting with Look-Back Heuristics for Hard ASP Programs
A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur
Bounded LTL Model Checking with Stable Models
Policies, Penalties, and Autonomous Agents
On Forgetting in Assumption-Based Argumentation
ASP: The Future Is Bright
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning
A Practical Account into Counting Dung's Extensions by Dynamic Programming
Preference Handling for Belief-Based Rational Decisions
Logic Programming in the 1970s
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022
The nomore++ System
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains
An Abductive Framework for Generalized Logic Programs
VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using
Probabilistic Reasoning With Answer Sets
Using Answer Sets to Solve Belief Change Problems
A Module-Based Framework for Multi-language Constraint Modeling
A Sphere World Semantics for Default Reasoning
Routley Semantics for Answer Sets
Weight Constraint Programs with Functions
ASP-Prolog for Negotiation among Dishonest Agents
Loop Checking and the Wll-Founded Semantics
An Argumentation Framework of Reasoning about Actions and Change
Evaluating Answer Set Clause Learning for General Game Playing
A Framework for Goal-Directed Query Evaluation with Negation
Transaction Logic with External Actions
An Implementation Platform for Query-Answering: X-RAY
Implementing Informal Semantics of ASP
tExplain: Information Extraction with Explanations
Solving Hard ASP Programs Efficiently
Reasoning Strategies for Diagnostic Probability Estimates in Causal Contexts: Preference for Defeasible Deduction over Abduction
Forgetting Auxiliary Atoms in Forks
System Description: DLV
On the Relationship Between Two Modular Action Languages: A Translation from MAD into ALM ALM
Linear Logic Programming for Narrative Generation
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach
Multi-dimensional Dynamic Knowledge Representation
Default Consequence Relations as a Logical Framework for Logic Programs
From Causal Theories to Logic Programs (Sometimes)
ASP Solving for Expanding Universes
Computing Non-Ground Representations of Stable Models
Situation Calculus Specifications for Event Calculus Logic Programs
Tools for Deductive Databases (Abstract)
A Simulation for Supply Chains Contract Execution
A Study of Przymusinski's Static Semantics
Loop Formulas for Splitable Temporal Logic Programs
Reasoning and Explanation Generation in Ad Hoc Collaboration Between Humans and Embodied AI
ARVis: Visualizing Relations between Answer Sets
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs
Interpretability and Equivalence in Quantified Equilibrium Logic
A Fixpoint Characterisation of Temporal Equilibrium Logic
Modular Logic Programming and Generalized Quantifiers
A Theory of Intentions for Intelligent Agents - (Extended Abstract)
An ASP System with Functions, Lists, and Sets
A Generalisation of Epistemic Splitting Property
Non-Monotonic Reasoning with Quantified Boolean Constraints
Scenario Semantics of Extended Logic Programs
Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments
An ASP Application in Integrative Biology: Identification of Functional Gene Units
What Next for ASP? (A Not-Entirely-Well-Informed Opinion)
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions
The Case for Explicit Exceptions
On the Extension of Logic Programming with Negation through Uniform Proofs
Social Default Theories
Dislop: Towards a Disjunctive Logic Programming System
Composing General Logic Programs
Using LPNMR for Problem Specification and Code Generation
Using Learning from Answer Sets for Robust Question Answering with LLM
Answer Set Programming with Graded Modality
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison
Analysis of Cyclic Fault Propagation via ASP
Nonmonotonic Inductive Logic Programming
Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
A General Framework for Revising Non-Monotonic Theories
Contextual Argumentation in Ambient Intelligence
Reasoning with Open Logic Programs
Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics
Pinpointing Axioms in Ontologies via ASP
Action Language Hybrid AL
Improving ASP Instantiators by Join-Ordering Methods
STeLP - A Tool for Temporal Answer Set Programming
Splitting Epistemic Logic Programs
Abduction and Preferences in Linguistics
Towards an Embedded Approach to Declarative Problem Solving in ASP
Modularity in smodelsPrograms
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming
JTMS and Logic Programming
Knowledge-intensive Stream Reasoning
Representing Transition Systems by Logic Programs
Diagnosis and Debugging as Contradiction Removal
Coherent Well-founded Annotated Logic Programs
Beliefs as Stable Conjectures
Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems
Spectra in Abstract Argumentation: An Analysis of Minimal Change
Combining Equilibrium Logic and Dynamic Logic
nlp: A Compiler for Nested Logic Programming
Smodels with CLP?A Treatment of Aggregates in ASP
Logic Programming with Graded Modality
An ID-Logic Formalization of the Composition of Autonomous Databases
Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System
A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming
Reasoning with Forest Logic Programs Using Fully Enriched Automata
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
Integrating Assumption-Based and Nonmonotonic Reasoning
Data Integration Needs Reasoning
On the Effectiveness of Looking Ahead in Search for Answer Sets
An Smodels System with Limited Lookahead Computation
Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
World-Modeling vs. World-Axiomatizing
DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models
The First Answer Set Programming System Competition
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
The Fourth Answer Set Programming Competition: Preliminary Report
Some DLV Applications for Knowledge Management
Is Non-Monotonic Reasoning Always Harder?
xASP: An Explanation Generation System for Answer Set Programming
An Implementation of Consistency-Based Multi-agent Belief Change Using ASP
From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond
Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming
Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving
Combining Heuristics for Configuration Problems Using Answer Set Programming
Update Rules in Datalog Programs
Stepping through an Answer-Set Program
Infinitary Equilibrium Logic and Strong Equivalence
A Sequential Model for Reasoning about Bargaining in Logic Programs
Efficiently Grounding FOL Using Bit Vectors
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection
WSAT(CC) - A Fast Local-Search ASP Solver
Conflict-Driven Answer Set Enumeration
Shift Design with Answer Set Programming
Optimizing the Computation of Heuristics for Answer Set Programming Systems
ASP, Amalgamation, and the Conceptual Blending Workflow
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems
Using Answer Set Programming for a Decision Support System
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics
ASPIDE: Integrated Development Environment for Answer Set Programming
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming