Marcello Balduccini

According to our database1, Marcello Balduccini authored at least 60 papers between 2000 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Action-Centered Information Retrieval.
CoRR, 2019

Explaining Actual Causation via Reasoning About Actions and Change.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making.
Proceedings of the 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2019

2018
An ASP Methodology for Understanding Narratives about Stereotypical Activities.
TPLP, 2018

Answer Set Planning in Single- and Multi-agent Environments.
KI, 2018

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems.
CoRR, 2018

Reasoning about Smart City.
Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018

Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning.
Proceedings of the Security Standardisation Research - 4th International Conference, 2018

2017
CASP solutions for planning in hybrid domains.
TPLP, 2017

Constraint answer set solver EZCSP and why integration schemas matter.
TPLP, 2017

CASP for Robot Control in Hybrid Domains.
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

Understanding Restaurant Stories Using an ASP Theory of Intentions.
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016
PDDL+ Planning via Constraint Answer Set Programming.
CoRR, 2016

Reasoning about Truthfulness of Agents Using Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015
Ontology-Driven Data Semantics Discovery for Cyber-Security.
Proceedings of the Practical Aspects of Declarative Languages, 2015

A Theory of Intentions for Intelligent Agents - (Extended Abstract).
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Making Sense of Future Cybersecurity Technologies: Using Ontologies for Multidisciplinary Domain Analysis.
Proceedings of the ISSE 2015, 2015

Military Ontologies for Information Dissemination at the Tactical Edge.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Reasoning about Truthfulness of Agents Using Answer Set Programming.
Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015

2014
Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract).
CoRR, 2014

An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report.
CoRR, 2014

Towards a Theory of Intentional Agents.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Integration Schemas for Constraint Answer Set Programming: a Case Study.
TPLP, 2013

ASP with non-herbrand partial functions: a language and system for practical use.
TPLP, 2013

Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
CoRR, 2013

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration.
CoRR, 2013

Prolog and ASP Inference under One Roof.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Some Recent Advances in Answer Set Programming (from the Perspective of NLP).
Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 2013

2012
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools.
Proceedings of the Practical Aspects of Declarative Languages, 2012

An Answer Set Solver for non-Herbrand Programs: Progress Report.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions.
Proceedings of the Correct Reasoning, 2012

2011
Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case
CoRR, 2011

Special issue on answer set programming.
AI Commun., 2011

Learning and using domain-specific heuristics in ASP solvers.
AI Commun., 2011

Industrial-Size Scheduling with ASP+CP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
Formalization of psychological knowledge in answer set programming and its application.
TPLP, 2010

Formalizing Psychological Knowledge in Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Learning Domain-Specific Heuristics for Answer Set Solvers.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009
CR-Prolog as a Specification Language for Constraint Satisfaction Problems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Splitting a CR-Prolog Program.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008
Knowledge Representation and Question Answering.
Proceedings of the Handbook of Knowledge Representation, 2008

AAAI 2008 Spring Symposia Reports.
AI Magazine, 2008

The AAA Architecture: An Overview.
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

Organizing Committee.
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007
cr-models: An Inference Engine for CR-Prolog.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Learning Action Descriptions with A-Prolog: Action Language C.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006
Answer set based design of knowledge systems.
Ann. Math. Artif. Intell., 2006

2005
Issues in parallel execution of non-monotonic reasoning systems.
Parallel Computing, 2005

2004
USA-Smart: Improving the Quality of Plans in Answer Set Planning.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003
Diagnostic reasoning with A-Prolog.
TPLP, 2003

Non-monotonic Reasoning on Beowulf Platforms.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

CR-Prolog with Ordered Disjunction.
Proceedings of the Answer Set Programming, 2003

2001
An A-Prolog Decision Support System for the Space Shuttle.
Proceedings of the Practical Aspects of Declarative Languages, 2001

Diagnosing Physical Systems in A-Prolog.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

The USA-Advisor: A Case Study in Answer Set Planning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000
Experiments in Answer Sets Planning.
Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

A Framework for Interleaving Planning-while-Learning and Execution.
Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000


  Loading...