Technologie-Atlas
Forschungsteam vor Bildschirmen mit Visualisierungen künstlicher neuronaler Netze

Projekt

EX3: EXplain & EXploit Wissen EXtracted um ASP zu verbessern

Answer Set Programming, Knowledge Representation and Reasoning, Declarative Problem Solving, Program Optimization, Explainability, Artificial Intelligence, Naturwissenschaften, Informatik, Praktische Informatik, Theoretische Informatik

Answer Set Programming, Knowledge Representation and Reasoning, Declarative Problem Solving, Program Optimization, Explainability, Artificial Intelligence, Naturwissenschaften, Informatik, Praktische Informatik, Theoretische Informatik

Weiter entdecken

Ähnliche Beiträge

6 Empfehlungen
Projekt SAT-based ASP Solving and Optimization via a General Transitive Closure Framework Answer set programming (ASP) in the NP fragment can be solved by translating into propositional satisfiability (SAT). However, fo… Beitrag ansehen Projekt A Sequent Calculus for Answer Set Entailment Answer Set Programming (ASP) is a popular nonmonotonic formalism used for common-sense reasoning and problem-solving based on sta… Beitrag ansehen Projekt Application Placement with Constraint Relaxation Abstract Novel utility computing paradigms rely upon the deployment of multi-service applications to pervasive and highly distrib… Beitrag ansehen Projekt Optimality-preserving Logic-Based Benders Decomposition of Answer Set Programs Bender Decomposition is a well-known solving technique in Operation Research that decomposes a problem into a master and a subpro… Beitrag ansehen Projekt ExplAIn Together Human-AI Interaction, AI Literacy, Mental Models, Explainable AI, Qualitative Methods, Participatory Research, Naturwissenschafte… Beitrag ansehen Projekt Probabilistic Reasoning within Answer Set Programming with Quantifiers Answer Set Programming with Quantifiers (ASP(Q)) extends Answer Set Programming (ASP) by allowing quantification over answer sets… Beitrag ansehen

Passend zu diesem Beitrag

Hochschulen

1 Verknüpfungen

Passend zu diesem Beitrag

Förderungen

1 Verknüpfungen