Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework

No abstract is available for this paper.

• Publication year

  2018

• Venue

  New generation computing

• Publication date

  2018-09-29

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/s00354-018-0046-2
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• ASP-Core-2 Input Language Format

  2019cited by this paper
• design patterns elements of reusable object oriented software

  2019cited by this paper
• Integrating Rule-Based AI Tools into Mainstream Game Development

  2018cited by this paper
• The ASP System DLV: Advancements and Applications

  2018cited by this paper
• LoIDE: A Web-Based IDE for Logic Programming Preliminary Report

  2018cited by this paper
• The ASP System DLV2

  2017cited by this paper
• I-DLV: The new intelligent grounder of DLV

  2017cited by this paper
• Integrating Answer Set Programming with Object-Oriented Languages

  2017cited by this paper
• Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday

  2016cited by this paper
• Problem Solving Using the HEX Family

  2016cited by this paper
• A framework for easing the development of applications embedding answer set programming

  2016cited by this paper
• Applications of Answer Set Programming

  2016cited by this paper
• Design and results of the Fifth Answer Set Programming Competition

  2016cited by this paper
• What's Hot in the Answer Set Programming Competition

  2016cited by this paper
• Advances in WASP

  2015cited by this paper
• Answer Set Application Programming: a Case Study on Tetris

  2015cited by this paper
• Clingo = ASP + Control: Preliminary Report

  2014cited by this paper
• Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation

  2014cited by this paper
• JASP: A Framework for Integrating Answer Set Programming with Java

  2012cited by this paper
• A Prototype of a Knowledge-Based Programming Environment

  2011cited by this paper
• Potassco: The Potsdam Answer Set Solving Collection

  2011cited by this paper
• Small Ramsey Numbers

  2011cited by this paper
• Answer set programming at a glance

  2011cited by this paper
• Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, ... Applications, incl. Internet/Web, and HCI

  2009cited by this paper
• Answer Set Programming: A Primer

  2009cited by this paper
• Constraint Handling Rules

  2009cited by this paper
• Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners

  2009influential reference
• Learning to Solve QBF

  2007cited by this paper
• Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)

  2006cited by this paper
• Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

  2004cited by this paper
• Bringing planning to autonomic applications with ABLE

  2004cited by this paper
• PPDDL 1 . 0 : An Extension to PDDL for Expressing Planning Domains with Probabilistic Effects

  2004cited by this paper
• PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

  2003cited by this paper
• The 3rd International Planning Competition: Results and Analysis

  2003cited by this paper
• Knowledge Representation, Reasoning and Declarative Problem Solving

  2003cited by this paper
• The DLV Java Wrapper

  2003cited by this paper
• The DLV system for knowledge representation and reasoning

  2002cited by this paper
• Declarative problem-solving using the DLV system

  2000cited by this paper
• Logic programs with stable model semantics as a constraint programming paradigm

  1999cited by this paper
• Answer Set Planning (Abstract)

  1999cited by this paper
• Stable models and an alternative logic programming paradigm

  1998cited by this paper
• PDDL-the planning domain definition language

  1998influential reference
• The object constraint language: precise modeling with UML

  1998cited by this paper
• Strong and Weak Constraints in Disjunctive Datalog

  1997cited by this paper
• Constraint Handling Rules ?

  1995cited by this paper
• Design patterns: elements of reuseable object-oriented software

  1994cited by this paper
• On the Complexity of Blocks-World Planning

  1992cited by this paper
• Stable semantics for disjunctive programs

  1991cited by this paper
• Classical negation in logic programs and disjunctive databases

  1991influential reference
• The early years of logic programming

  1988cited by this paper
• Foundations of logic programming; (2nd extended ed.)

  1987cited by this paper
• Foundations of Logic Programming

  1984cited by this paper
• The Semantics of Predicate Logic as a Programming Language

  1976cited by this paper
• STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving

  1971cited by this paper

• Implementing a declarative query language for high level machine learning application design

  2025cites this paper
• A logic-based event controller for means-end reasoning in simulation environments

  2023cites this paper
• Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies

  2023cites this paper
• A Framework for Developing Interactive Intelligent Systems in Unity

  2022cites this paper
• Smart Devices and Large Scale Reasoning via ASP: Tools and Applications

  2022cites this paper
• AI and Videogames: a "Drosophila" for Declarative Methods

  2022cites this paper
• Pruning external minimality checking for answer set programs using semantic dependencies

  2021cites this paper
• Toward an AI-based external scenario event controller for crisis response simulations

  2021cites this paper
• Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images

  2021cites this paper
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders

  2019influential citation
• Tight Integration of Rule-Based Tools in Game Development

  2019cites this paper
• Iterative ASP Pipelines: Enhancements for Robots Playing Mobile Games

  year unknowncites this paper