Parallel Logic Programming: A Sequel. | 0 | 0.34 | 2022 |
An action language for multi-agent domains | 0 | 0.34 | 2022 |
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. | 0 | 0.34 | 2020 |
EFP 2.0 - A Multi-Agent Epistemic Solver with Multiple E-State Representations. | 0 | 0.34 | 2020 |
Design And Implementation Of Phylotastic, A Service Architecture For Evolutionary Biology | 0 | 0.34 | 2020 |
Multi-context System For Optimization Problems | 0 | 0.34 | 2019 |
ASP Applications in Bio-informatics: A Short Tour. | 0 | 0.34 | 2018 |
Distributed Multi-Agent Optimization For Smart Grids And Home Automation | 0 | 0.34 | 2018 |
Reasoning with Doxastic Attitudes in Multi-Agent Domains. | 0 | 0.34 | 2018 |
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract). | 0 | 0.34 | 2017 |
Solving DCOPs with Distributed Large Neighborhood Search. | 0 | 0.34 | 2017 |
On the Effectiveness of a Collaborative Virtual Pair-Programming Environment. | 0 | 0.34 | 2016 |
A GPU Implementation of the ASP Computation. | 4 | 0.40 | 2016 |
Multi-Variable Agents Decomposition for DCOPs. | 0 | 0.34 | 2016 |
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems | 2 | 0.38 | 2015 |
Solving distributed constraint optimization problems using logic programming | 1 | 0.35 | 2015 |
A generic approach to planning in the presence of incomplete information: Theory and implementation | 5 | 0.42 | 2015 |
Parallel Execution of the ASP Computation - an Investigation on GPUs. | 1 | 0.35 | 2015 |
An Action Language for Multi-Agent Domains: Foundations | 0 | 0.34 | 2015 |
A declarative concurrent system for protein structure prediction on GPU | 5 | 0.42 | 2015 |
Constrained Community-Based Gene Regulatory Network Inference | 1 | 0.35 | 2015 |
DISSECT: Exploring the relationship between computational thinking and English literature in K-12 curricula | 0 | 0.34 | 2015 |
A Non-monotonic Goal Specification Language for Planning with Preferences. | 1 | 0.36 | 2014 |
Exploring the Use of GPUs in Constraint Solving | 10 | 0.52 | 2014 |
Techniques to enhance efficiency and effectiveness of inductive logic programming systems: the TWEETY approaches. | 0 | 0.34 | 2014 |
Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework | 4 | 0.40 | 2013 |
Autonomous agents coordination: Action languages meet CLP() and Linda. | 0 | 0.34 | 2013 |
A conformant planner based on approximation: CpA(H) | 1 | 0.36 | 2013 |
Reasoning About The Beliefs Of Agents In Multi-Agent Domains In The Presence Of State Constraints: The Action Language Mal | 1 | 0.38 | 2013 |
E-Arithmetic: non-visual arithmetic manipulation for students with impaired vision | 1 | 0.36 | 2012 |
Trackable interactive multimodal manipulatives: towards a tangible user environment for the blind | 6 | 0.52 | 2012 |
A filtering technique for fragment assembly- based proteins loop modeling with constraints | 2 | 0.36 | 2012 |
Answer set programming and planning with knowledge and world-altering actions in multiple agent domains | 1 | 0.35 | 2012 |
An Experiment in Formalizing Commitments Using Action Languages. | 0 | 0.34 | 2011 |
ASP-Prolog for negotiation among dishonest agents | 3 | 0.39 | 2011 |
Contingent Planning as AND/OR Forward Search with Disjunctive Representation. | 3 | 0.40 | 2011 |
On Improving Conformant Planners by Analyzing Domain-Structures. | 1 | 0.35 | 2011 |
Formalizing commitments using action languages | 6 | 0.50 | 2011 |
Exploring protein fragment assembly using CLP | 9 | 0.48 | 2011 |
A 25-year perspective on logic programming: achievements of the Italian association for logic programming, GULP | 10 | 0.43 | 2010 |
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling | 2 | 0.36 | 2010 |
Integrating semantic web and folksonomies to improve e-learning accessibility | 2 | 0.39 | 2010 |
Representing Multi-agent Planning in CLP | 6 | 0.50 | 2009 |
A Conformant Planner with Explicit Disjunctive Representation of Belief States | 17 | 0.88 | 2009 |
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications | 11 | 0.71 | 2009 |
GASP: Answer Set Programming with Lazy Grounding | 25 | 0.78 | 2009 |
Planning for multiagent using ASP-prolog | 2 | 0.37 | 2009 |
Answer Set Programming with Constraints Using Lazy Grounding | 23 | 0.84 | 2009 |
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems | 21 | 0.80 | 2009 |
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings | 74 | 4.40 | 2008 |