Baseline Detection in Historical Documents Using Convolutional U-Nets | 0 | 0.34 | 2018 |
Domain expansion for ASP-programs with external sources. | 9 | 0.51 | 2016 |
Semi-equilibrium models for paracoherent answer set programs. | 3 | 0.40 | 2016 |
Computing repairs of inconsistent DL-programs over EL ontologies | 3 | 0.37 | 2016 |
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. | 5 | 0.42 | 2016 |
Data repair of inconsistent nonmonotonic description logic programs. | 0 | 0.34 | 2016 |
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. | 17 | 0.65 | 2015 |
Towards Ideal Semantics for Analyzing Stream Reasoning | 1 | 0.35 | 2015 |
A model building framework for Answer Set Programming with external computations | 12 | 0.56 | 2015 |
Coherent Predictive Inference under Exchangeability with Imprecise Probabilities. | 4 | 0.61 | 2015 |
Distributed Evaluation of Nonmonotonic Multi-context Systems. | 5 | 0.41 | 2015 |
Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). | 0 | 0.34 | 2014 |
Towards a Logic-Based Framework for Analyzing Stream Reasoning. | 0 | 0.34 | 2014 |
FLP answer set semantics without circular justifications for general logic programs. | 11 | 0.51 | 2014 |
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. | 1 | 0.35 | 2014 |
Preference-Based Diagnosis Selection in Multi-Context Systems. | 0 | 0.34 | 2014 |
Causal Graph Justifications of Logic Programs. | 7 | 0.47 | 2014 |
Towards Practical Deletion Repair of Inconsistent DL-programs. | 0 | 0.34 | 2014 |
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014). | 0 | 0.34 | 2014 |
Efficient HEX-program evaluation based on unfounded sets | 11 | 0.53 | 2014 |
Hex Semantics via Approximation Fixpoint Theory. | 12 | 0.54 | 2013 |
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey. | 0 | 0.34 | 2013 |
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases. | 4 | 0.47 | 2013 |
ActHEX: Implementing HEX Programs with Action Atoms. | 8 | 0.61 | 2013 |
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary | 0 | 0.34 | 2013 |
Eliminating Unfounded Set Checking for HEX-Programs | 1 | 0.35 | 2013 |
Inconsistency management for description logic programs and beyond | 1 | 0.37 | 2013 |
Data repair of inconsistent DL-programs | 3 | 0.39 | 2013 |
Liberal Safety for Answer Set Programs with External Sources. | 1 | 0.35 | 2013 |
Finding Similar or Diverse Solutions in Answer Set Programming | 11 | 0.70 | 2013 |
Model-based recasting in answer-set programming. | 10 | 0.53 | 2013 |
Towards Query Answering in Relational Multi-Context Systems. | 2 | 0.38 | 2013 |
Conflict-driven asp solving with external sources | 17 | 0.59 | 2012 |
Paraconsistent Hybrid Theories. | 1 | 0.36 | 2012 |
OMiGA: an open minded grounding on-the-fly answer set solver | 6 | 0.44 | 2012 |
Exploiting unfounded sets for HEX-Program evaluation | 6 | 0.41 | 2012 |
Simulating production rules using ACTHEX | 2 | 0.36 | 2012 |
Semantic independence in DL-programs | 1 | 0.35 | 2012 |
Linked stream data processing engines: facts and figures | 44 | 1.39 | 2012 |
Approximations for explanations of inconsistency in partially known multi-context systems | 5 | 0.41 | 2011 |
Pushing efficient evaluation of HEX programs by modular decomposition | 13 | 0.58 | 2011 |
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems. | 2 | 0.36 | 2011 |
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. | 4 | 0.39 | 2011 |
Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources | 23 | 0.81 | 2011 |
Model Streaming for Distributed Multi-Context Systems. | 0 | 0.34 | 2011 |
Relational information exchange and aggregation in multi-context systems | 16 | 0.67 | 2011 |
Managed multi-context systems | 47 | 1.20 | 2011 |
Symmetry breaking for distributed multi-context systems | 2 | 0.36 | 2011 |
Preference-based inconsistency assessment in multi-context systems | 12 | 0.55 | 2010 |
First-Order encodings for modular nonmonotonic datalog programs | 1 | 0.36 | 2010 |