Year of publication
Type of material
Licence
Language
Synonyms were used for: answer-set programming
Search without synonyms: keywords:("answer-set programming")
Used synonyms:
- antwortmengenprogrammierung
-
Intelligent Instantiation and Supersafe Rules
Free accessDataCite | 2016|Keywords: answer set programming -
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
Elsevier | 2013|Keywords: Answer set programming, Possibilistic answer set programming -
Evaluating epistemic negation in answer set programming
Elsevier | 2016|Keywords: Answer set programming -
Conflict-driven answer set solving: From theory to practice
Elsevier | 2012|Keywords: Answer set programming -
Design and results of the Fifth Answer Set Programming Competition
Elsevier | 2015|Keywords: Answer Set Programming -
Equivalence between answer-set programs under (partially) fixed input
Free accessOnline Contents | 2017|Keywords: Answer set programming -
Unsatisfiability-based optimization in clasp
Free accessDataCite | 2012|Keywords: answer-set-programming -
Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract)
Free accessDataCite | 2023|Keywords: Answer Set Programming, Computing methodologies → Logic programming and answer set programming -
Scalable Robotic Intra-Logistics with Answer Set Programming
Free accessDataCite | 2018|Keywords: Answer Set Programming, Computing methodologies → Logic programming and answer set programming -
Theory Solving Made Easy with Clingo 5
Free accessDataCite | 2016|Keywords: Answer Set Programming -
P-log: refinement and a new coherency condition
Online Contents | 2019|Keywords: Answer set programming -
Cybersecurity policy verification with declarative programming
Online Contents | 2016|Keywords: Answer set programming -
OntoDLV: An ASP-based System for Enterprise Ontologies
British Library Conference Proceedings | 2009|Keywords: Answer set programming -
A Translation-based Approach to the Verification of Modular Equivalence
British Library Conference Proceedings | 2009|Keywords: Answer set programming -
Complexity results for answer set programming with bounded predicate arities and implications
Online Contents | 2008|Keywords: Answer set programming -
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
British Library Conference Proceedings | 2009|Keywords: Answer set programming -
Efficiently Querying RDF(S) Ontologies with Answer Set Programming
British Library Conference Proceedings | 2009|Keywords: Answer set programming
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.