Výsledky vyhledávání - "Declarative Programming"

Declarative Algorithms and Complexity Results for Assumption-Based Argumentation Autor Lehtonen, Tuomo, Wallner, Johannes P., Järvisalo, Matti

“…The study of computational models for argumentation is a vibrant area of artificial intelligence and, in particular, knowledge representation and reasoning…”
Získat plný text

ASP-Core-2 Input Language Format Autor CALIMERI, FRANCESCO, FABER, WOLFGANG, GEBSER, MARTIN, IANNI, GIOVAMBATTISTA, KAMINSKI, ROLAND, KRENNWALLNER, THOMAS, LEONE, NICOLA, MARATEA, MARCO, RICCA, FRANCESCO, SCHAUB, TORSTEN

“…Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the…”
Získat plný text

Learning programs by learning from failures Autor Cropper, Andrew, Morel, Rolf

“…We describe an inductive logic programming (ILP) approach called learning from failures . In this approach, an ILP system (the learner) decomposes the learning…”
Získat plný text

Secure Cloud-Edge Deployments, with Trust Autor Forti, Stefano, Ferrari, Gian-Luigi, Brogi, Antonio

“…Assessing the security level of IoT applications to be deployed to heterogeneous Cloud-Edge infrastructures operated by different providers is a non-trivial…”
Získat plný text

The Sixth Answer Set Programming Competition Autor Gebser, Martin, Maratea, Marco, Ricca, Francesco

“…Answer Set Programming (ASP) is a well-known paradigm of declarative programming with roots in logic programming and non-monotonic reasoning. Similar to other…”
Získat plný text

Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach Autor Comploi-Taupe, Richard, Friedrich, Gerhard, Schekotihin, Konstantin, Weinzierl, Antonius

“…Domain-specific heuristics are an essential technique for solving combinatorial problems efficiently. Current approaches to integrate domain-specific…”
Získat plný text

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach Autor Meli, Daniele, Castellini, Alberto, Farinelli, Alessandro

“…Partially Observable Markov Decision Processes (POMDPs) are a powerful framework for planning under uncertainty. They allow to model state uncertainty as a…”
Získat plný text

Combining declarative and linear programming for application management in the cloud-edge continuum Autor Massa, Jacopo, Forti, Stefano, Dazzi, Patrizio, Brogi, Antonio

“…•Continuous reasoning mechanism to reduce redundant computation and service migrations in edge deployments.•Extended open-source prototype consisting of a…”
Získat plný text

Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all? Autor Hecher, Markus

“…Answer Set Programming (ASP) is a paradigm for modeling and solving problems for knowledge representation and reasoning. There are plenty of results dedicated…”
Získat plný text

REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics Autor Sridharan, Mohan, Gelfond, Michael, Zhang, Shiqi, Wyatt, Jeremy

“…This article describes REBA, a knowledge representation and reasoning architecture for robots that is based on tightly-coupled transition diagrams of the…”
Získat plný text

Ultimate Azure Data Engineering: Build Robust Data Engineering Systems on Azure with SQL, ETL, Data Modeling, and Power BI for Business Insights and Crack Azure Certifications (English Edition) Autor Agarwal, Ashish

“…Embark on a comprehensive journey into Azure data engineering with "Ultimate Azure Data Engineering". Starting with foundational topics like SQL and relational…”
Získat plný text

Thermal management for gas lubricated, high-speed turbomachinery Autor Olmedo, L.E., Liu, W., Gjika, K., Schiffmann, J.

“…High-speed turbomachinery is commonly designed to achieve high power densities. Limited space for active cooling results in a challenging thermal management. A…”
Získat plný text

The Impact of Treewidth on Grounding and Solving of Answer Set Programs Autor Bliem, Bernhard, Morak, Michael, Moldovan, Marius, Woltran, Stefan

“…In this paper, we aim to study how the performance of modern answer set programming (ASP) solvers is influenced by the treewidth of the input program and to…”
Získat plný text

Clause Elimination for SAT and QSAT Autor Heule, Marijn, Järvisalo, Matti, Lonsing, Florian, Seidl, Martina, Biere, Armin

“…The famous archetypical NP-complete problem of Boolean satisfiability (SAT) and its PSPACE-complete generalization of quantified Boolean satisfiability (QSAT)…”
Získat plný text

Answer Set Planning: A Survey Autor CAO TRAN, SON, PONTELLI, ENRICO, BALDUCCINI, MARCELLO, SCHAUB, TORSTEN

“…Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans , that is, solutions to planning problems, that transform a given state…”
Získat plný text

Diagnosing Unknown Attacks in Smart Homes Using Abductive Reasoning Autor Ramkumar, Kushal, Cai, Wanling, McCarthy, John, Doherty, Gavin, Nuseibeh, Bashar, Pasquale, Liliana

“…Security attacks are rising, as evidenced by the number of reported vulnerabilities. Among them, unknown attacks, including new variants of existing attacks,…”
Získat plný text

Multi-Agent Path Finding: A New Boolean Encoding Autor Asín Achá, Roberto, López, Rodrigo, Hagedorn, Sebastian, Baier, Jorge A.

“…Multi-agent pathfinding (MAPF) is an NP-hard problem. As such, dense maps may be very hard to solve optimally. In such scenarios, compilation-based approaches,…”
Získat plný text

Learning answer set programs with aggregates via sampling and genetic programming Autor Azzolini, Damiano

“…The goal of inductive logic programming is to learn a logic program that models the examples provided as input. The search space of the possible programs is…”
Získat plný text

Clingo2DSR - A clingo-based software system for declarative spatial reasoning Autor Li, Beidi, Schultz, Carl

“…We present a modified ground-and-solve approach based on the clingo Answer Set Programming (ASP) system to perform non-monotonic spatial reasoning tasks,…”
Získat plný text

MASS-CSP: mining with answer set solving for contrast sequential pattern mining Autor Sterlicchio, Gioacchino, Lisi, Francesca Alessandra

“…In this paper, we present MASS-CSP (Mining with Answer Set Solving - Contrast Sequential Patterns), a declarative approach to the Contrast Sequential Pattern…”
Získat plný text