yusuke1997/dblp-id-title huggingface dataset:
Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Epistemic Logic Programs: A Study of Some Properties
New Semantics for Epistemic Specifications
Towards Query Answering in Relational Multi-Context Systems
Diagnosing Physical Systems in A-Prolog
Power Defaults
Credulous and Autoepistemic Reasoning Using Ordered Logic
Online Action Language o BC +
A Sequent Calculus for Generalized Inductive Definitions
Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract)
An Abductive Framework for Extended Logic Programming
A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract
Multi-Context Systems: Dynamics and Evolution
The Complexity of Circumscriptive Inference in Post's Lattice
Explaining Inconsistency in Answer Set Programs and Extensions
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs
A Paraconsistent Semantics with Contradiction Support Detection
An Operator for Composing Deductive Databases with Theories of Constraints
Antitonic Logic Programs
Characterising and Explaining Inconsistency in Logic Programs
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011
Nondefinite vs. Definite Causal Theories
Non-monotonic Temporal Goals
System Description: DLV with Aggregates
The USA-Advisor: A Case Study in Answer Set Planning
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
Normalizing Cardinality Rules Using Merging and Sorting Constructions
From Data Integration towards Knowledge Mediation
Stable Classes and Operator Pairs for Disjunctive Programs
Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination
Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings
Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings
Combining Inductive Generalization and Factual Abduction
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots
Integrating Temporal Extensions of Answer Set Programming
Diagnosing Data Pipeline Failures Using Action Languages
Complexity Results for Abductive Logic Programming
An ILASP-Based Approach to Repair Petri Nets
A Case Study in Using Preference Logic Grammars for Knowledge Representations
Repair-Based Degrees of Database Inconsistency
On Influence and Contractions in Defeasible Logic Programming
A Social Semantics for Multi-agent Systems
Uniform Equivalence for Equilibrium Logic and Logic Programs
Computing, Solving, Proving: A Survey on the Theorema Project (Abstract)
Treewidth and Counting Projected Answer Sets
Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007
Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
Autoepistemic Logic of Knowledge
Bridging the Gap between High-Level Reasoning and Low-Level Control
Complexity of the Stable Model Semantics for Queries on Incomplete Databases
An Application of Clasp in the Study of Logics
Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract)
Modularity of P-Log Programs
Contradiction Removal within Well Founded Semantics
Metric Temporal Answer Set Programming over Timed Traces
Implementing Preferences with asprin
An Algebraic Account of Modularity in ID-Logic
SHACL: A Description Logic in Disguise
Strong Equivalence for Causal Theories
Enumeration of Minimal Models and MUSes in WASP
Characterizations of the Stable Semantics by Partial Evaluation
Reflective Autoepistemic Logic and Logic Programming
Solving Problems in the Polynomial Hierarchy with ASP(Q)
plasp 3: Towards Effective ASP Planning
Classifying Semantics of Logic Programs (Extended Abstract)
The Deductive Database System LOLA
An ASP-Based System for e-Tourism
Compiling Metric Temporal Answer Set Programming
Nonmonotonicity and Answer Set Inference
Enablers and Inhibitors in Causal Justifications of Logic Programs
Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules
Max-ASP: Maximum Satisfiability of Answer Set Programs
psmodels: Stable Models Based on Pertinence
ACLP: Flexible Solutions to Complex Problems
Declarative Local Search for Predicate Logic
Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
WASP: A Native ASP Solver Based on Constraint Learning
Programs with Universally Quantified Embedded Implications
Answer Set Programming and Its Applications in Planning and Multi-agent Systems
Rational Default Logic and Disjunctive Logic Programming
Towards Explainable Weather Forecasting Through FastLAS
Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System
cmodels - SAT-Based Disjunctive Answer Set Solver
Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming
Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics
Hybrid Metabolic Network Completion
Prototypes for Reasoning with Infinite Stable Models and Function Symbols
Relational Information Exchange and Aggregation in Multi-Context Systems
Strong and Weak Constraints in Disjunctive Datalog
New Generation Systems for Non-monotonic Reasoning
Program Updating by Incremental and Answer Subsumption Tabling
Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming
Advances in WASP
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring
clingo goes Linear Constraints over Reals and Integers
A Terminological Interpretation of (Abductive) Logic Programming
Game Characterizations of Logic Program Properties
A New Computational Logic Approach to Reason with Conditionals
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
Mobile Robot Planning Using Action Language BC with an Abstraction Hierarchy
Pruning External Minimality Checking for ASP Using Semantic Dependencies
Simple Random Logic Programs
GrinGo : A New Grounder for Answer Set Programming
Locally Determined Logic Programs
Contextual Abduction and its Complexity Issues
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates
Vicious Circle Principle and Formation of Sets in ASP Based Languages
Including Quantification in Defeasible Reasoning for the Description Logic EL ⊥
Making Quantification Relevant Again - the Case of Defeasible EL_\bot
Parametrized Equilibrium Logic
Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming
Definitions in Epistemic Specifications
Strong Equivalence for Logic Programs and Default Theories (Made Easy)
GNT - A Solver for Disjunctive Logic Programs
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
Adjudication of Coreference Annotations via Answer Set Optimization
Stable Model Semantics of Weight Constraint Rules
Layer Supported Models of Logic Programs
Modular Construction of Minimal Models
SELP - A System for Studying Strong Equivalence Between Logic Programs
Computing Weighted Solutions in Answer Set Programming
Programming Applications in CIFF
A Default Inference Rule Operating Internally to the Grammar Devices
Argumentation Context Systems: A Framework for Abstract Group Argumentation
Emotional Reasoning in an Action Language for Emotion-Aware Planning
Nonmonotonic Reasoning in FLORA-2
\mathsf Harvey : A System for Random Testing in ASP
Pushing Goal Derivation in DLP Computations
On the Complexity of Model Checking and Inference in Minimal Models
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
On Conservative Enforced Updates
Semantics for Dynamic Logic Programming: A Principle-Based Approach
Reasoning with Stratified Default Theories
SAT, SMT and Applications
QMaxSATpb: A Certified MaxSAT Solver
aspps - An Implementation of Answer-Set Programming with Propositional Schemata
Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
Using Lightweight Inference to Solve Lightweight Problems
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
An Approximation of Action Theories of and Its Application to Conformant Planning
Temporal Equilibrium Logic
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Answer Set Programs with Queries over Subprograms
Justifications for Logic Programming
Default Reasoning via Blocking Sets
Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Testing Strong Equivalence of Datalog Programs - Implementation and Examples
Extending Disjunctive Logic Programming by T-norms
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic
Foundations and Extensions of Answer Set Programming: The Logical Approach
Integrating Answer Set Modules into Agent Programs
What Are the Necessity Rules in Defeasible Reasoning?
Contextual Reasoning: Usually Birds Can Abductively Fly
VCWC: A Versioning Competition Workflow Compiler
LUPS - A Language for Updating Logic Programs
Argumentation-Based Explanations for Answer Sets Using ADF
DLV DB : Adding Efficient Data Management Features to ASP
Data Integration: a Challenging ASP Application
Relational and Semantic Data Mining - - Invited Talk -
Annotated Revision Specification Programs
Optimising Business Process Discovery Using Answer Set Programming
Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy
Extending the Stable Model Semantics with More Expressive Rules
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling
lp2normal - A Normalization Tool for Extended Logic Programs
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
Implementing Belief Change in the Situation Calculus and an Application
Lightweight Communication Platform for Heterogeneous Multi-context Systems: A Preliminary Report
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images
Care Robots Learning Rules of Ethical Behavior Under the Supervision of an Ethical Teacher (Short paper)
A Transformation of Propositional Prolog Programs into Classical Logic
An Assumption-Based Framework for Non-Monotonic Reasoning
Generating Optimal Code Using Answer Set Programming
Policy-Based Computing: From Systems and Applications to Theory
The Smodels System
Gorgias-C: Extending Argumentation with Constraint Solving
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming
Logic Programs With Monotone Cardinality Atoms
A Bird's-Eye View of Forgetting in Answer-Set Programming
Answer Set Solving with Bounded Treewidth Revisited
Blending Lazy-Grounding and CDNL Search for Answer-Set Solving
Nested Epistemic Logic Programs
Answer Set Programming with Clause Learning
Smodels A - A System for Computing Answer Sets of Logic Programs with Aggregates
Reasoning About Actions and Change in Answer Set Programming
Contributions to the Stable Model Semantics of Logic Programs with Negation
A Definition of Sceptical Semantics in the Constellations Approach
Embedding Circumscriptive Theories in General Disjunctive Programs
Complexity of Default Logic on Generalized Conjunctive Queries
Reasoning on Open Domains
Representing Multi-agent Planning in CLP
Early Recovery in Logic Program Updates
cmMUS: A Tool for Circumscription-Based MUS Membership Testing
Qualitative Analysis of Contemporary Urdu Machine Translation Systems
Contingency-Based Equilibrium Logic
Decidability and Implementation of Parametrized Logic Programs
Inference to the Stable Explanations
plasp: A Prototype for PDDL-Based Planning in ASP
Guarded Open Answer Set Programming
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams
General Default Logic
An ASP-Based Data Integration System
Negation as a Resource: A Novel View on Answer Set Semantics
Representation of Incomplete Knowledge by Induction of Default Theories
A Comparison of Sceptical NAF-Free Logic Programming Approaches
Trans-Epistemic Semantics for Logic Programs
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds
Experience Based Nonmonotonic Reasoning
Encoding Solutions of the Frame Problem in Dynamic Logic
SLS-Resolution without Floundering
Knowledge Qualification through Argumentation
Symmetry Breaking for Distributed Multi-Context Systems
Compiling Answer Set Programs into Event-Driven Action Rules
Modelling Dialogues in a Concurrent Language for Argumentation
A Qualitative Temporal Extension of Here-and-There Logic
Verifying the Equivalence of Logic Programs in the Disjunctive Case
A Sequent Axiomatization of Three-valued Logic with Two Negations
Towards Dynamic Answer Set Programming over Finite Traces
A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation
The NL2KR System
Lookahead in Smodels Compared to Local Consistencies in CSP
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
Foundations for a Probabilistic Event Calculus
Approximate Epistemic Planning with Postdiction as Answer-Set Programming
A Computational Logic Approach to Heterogenous Agent Systems
Towards Causality-Based Conflict Resolution in Answer Set Programs
Stable Models for Temporal Theories - - Invited Talk -
A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming
A Default Approach to Semantics of Logic Programs with Constraint Atoms
Modularity Aspects of Disjunctive Stable Models
Explainability via Short Formulas: the Case of Propositional Logic with Implementation
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results
ArgueApply: A Mobile App for Argumentation
Evaluation of Disjunctive Programs in WASP
Symbolic System Synthesis Using Answer Set Programming
Properties of Iterated Multiple Belief Revision
The Design of the Sixth Answer Set Programming Competition - - Report -
Mode-Directed Fixed Point Computation
Debugging ASP Programs by Means of ASP
Gelfond-Zhang Aggregates as Propositional Formulas
A New Form of Circumscription for Logic Programs (Extended Abstract)
Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning
An ASP-Based Approach to Water Distribution System Reconstruction
Declarative Semantics for Pruning Operators in Logic Programming
Privacy Preservation Using Multi-Context Systems
On the Role of Negation in Choice Logic Programs
Integrating Structured Declarative Language (SDL) into ASP Chef
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, Austin, TX, USA, November 1-2, 1990
Monitoring and Scheduling of Semiconductor Failure Analysis Labs
Some Logical Properties of Nonmonotonic Causal Theories
Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots
Telco Network Inventory Validation with NoHR
XSB: A System for Effciently Computing WFS
Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates
Update by Means of Inference Rules
A Unified Semantics for Constraint Handling Rules in Transaction Logic
Itemset Mining as a Challenge Application for Answer Set Enumeration
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming
Platypus: A Platform for Distributed Answer Set Solving
On Reductive Semantics of Aggregates in Answer Set Programming
Nurse Scheduling via Answer Set Programming
Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning
Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies
The LP - OD System: Logic Programming Meets Outlier Detection
Application of Smodels in Quartet Based Phylogeny Construction
Skeptical Rational Extensions
Populational Announcement Logic (PPAL)
CR-Prolog as a Specification Language for Constraint Satisfaction Problems
Linear Tabulated Resolutions for the Well-Founded Semantics
Exploiting ASP in Real-World Applications: Main Strengths and Challenges
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond
Logic Programming and Non-monotonic Reasoning, Proceedings of the First International Workshop, Washington, D.C., USA, July 1991
Negation as Failure to Support
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
A Characterization of Strong Equivalence for Logic Programs with Variables
Clingraph: ASP-Based Visualization
Weight Constraints with Preferences in ASP
Splitting a CR-Prolog Program
HAPLO-ASP: Haplotype Inference Using Answer Set Programming
CASP for Robot Control in Hybrid Domains
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers
Revisiting the Semantics of Interval Probabilistic Logic Programs
A More General Solution to the Multiple Expansion Problem
Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), A Corunna, Spain, September 15th, 2013
A Deductive System for FO(ID) Based on Least Fixpoint Logic
Computing Well-founded Semantics Faster
Deduction in Ontologies via ASP
Knowledge-Based Support for Adhesive Selection
Temporal Data Model for Program Debugging
Exploiting Schemas in Data Synchronization
Extensions of Attribute Grammars for Structured Document Queries
Rationale and Design of BULK
A Type System for Object-Oriented Database Programming and Querying Languages
The Gremlin graph traversal machine and language (invited talk)
Arc: an IR for batch and stream programming
Optimization Properties for Classes of Conjunctive Regular Path Queries
Database Programming with Delayed Updates
Avoiding Unnecessary Ordering Operations in XPath
Bulk Types: Built-In or Add-On?
Control and Optimization Strategies in the Implementation of LDL
Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions
A Framework for Optimizing Distributed Workflow Executions
XML Security Views Revisited
Object Behaviors and Scripts
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
Advances in Database Programming Languages, Papers from DBPL-1, September 1987, Roscoff, France
HiLog as a Platform for Database Languages
On the Expressive Power of XQuery Fragments
Efficient Evaluation of Aggregates on Bulk Types
Programming Constructs for Unstructured Data
Minimizing Tree Automata for Unranked Trees
Basic Abstractions for a Database Programming Language
On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL
Model-Checking Based Data Retrieval
A Different Tack to Providing Persistence in a Language
Implementing Incremental View Maintenance in Nested Data Models
A Type Safe DOM API
Algorithms for Set Containment Inference
The Vision Object-Oriented Database Management System
Calculi for Bags and their Complexity
DBPL '21: The 18th International Symposium on Database Programming Languages, Copenhagen, Denmark, 16 August 2021
From Database Programming to Business Process Programming
Octopus: A Reflective Language Mechanism for Object Manipulation
Formal Foundations for Optimising Aggregation Functions in Database Programming Languages
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach
The Joy of Sets
Compiling FAD, a Database Programming Language
InterSQL: A Multidatabase Transaction Programming Language
Viaggio Lungo il Nilo: OLE DB and Component Databases (abstract only)
Reasoning about Keys for XML
Types for Databases: The Galileo Experience
Function inlining in XQuery 3.0 optimization
An Automata-Theoretic Approach to Regular XPath
Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993
Provenance as Dependency Analysis
Static and Dynamic Type Checking
M 2 ORM 2 : A Model for the Transparent Management of Relationally Persistent Objects
Object Views and Database Restructuring
Mixing set and bag semantics
Linear Approximation of Semi-algebraic Spatial Databases Using Transitive Closure Logic, in Arbitrary Dimension
Property-based testing of SPARQL queries
Comprehending Monoids with Class
The ADABTPL Type System
First-Order Incremental Evaluation of Datalog Queries
Degrees of Monotonicity of Spatial Transformations
Management of Multiple Models: A Metamodel for Conceptual Models
A Pure Calculus of Subtyping, and Applications (Outline)
Semantics of Objectified XML Constraints
On the Power of Aggregation in Relational Query Languages
Using XQuery for Flat-File Based Scientific Datasets
Union-Types in Object-Oriented Schemes
Comprehending Ringads (keynote)
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
Business Conversations: A High-level System Model for Agent Coordination
Querying Semistructured Data Based on Schema Matching
Optimization of Nested SQL Queries by Tableau Equivalence
Semantics for Transactions in Shared Object Worlds
Bounded Fixpoints for Complex Objects
Attribute Grammars for Scalable Query Processing on XML Streams
Using Type Transformation in Database Implementation
To Form a More Perfect Union (Intersection, Difference)
Conjunctive Query Containment over Trees
Relative expressive power of downward fragments of navigational query languages on trees and chains
Database States in Lazy Functional Programming Languages: Imperative Update and Lazy Retrieval
Static Typing Meets Adaptive Optimization: A Unified Approach to Recursive Queries
Observational Distinguishability of Databases with Object Identity
"Higher-Order" Logic As a Data Model
Class Hierarchies and Their Complexity
A Representation Independent Language for Planar Spatial Databases with Euclidean Distance
Mapping Maintenance in XML P2P Databases
Relational foundations for functorial data migration
Polymorphic Names and Iterations
O 2 , an Object-Oriented Data Model
Queries and Views in an Object-Oriented Data Model
Automatic Verification of Transactions on an Object-Oriented Database
Proceedings of the 19th International Symposium on Database Programming Languages, DBPL 2025, Berlin, Germany, June 22-27, 2025
Chasing One's Tail: XPath Containment Under Cyclic DTDs
A Remote Execution Mechanism For Distributed Homogeneous Stable Stores
A Query Language for the O 2 Object-Oriented Database System
From relation algebra to semi-join algebra: an approach for graph query optimization
Attribute Metadata for Relational OLAP and Data Mining
Questioning Persistent Types
Towards a Language for the Fully Generic Queries
The AQUA Data Model and Algebra
Typing regular path query languages for data graphs
On the Difference between Navigating Semi-structured Data and Querying It
Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation
Data and Knowledge Model: A Proposal