Andrea Formisano

From MaRDI portal
Person:167067

Available identifiers

zbMath Open formisano.andreaMaRDI QIDQ167067

List of research outcomes

PublicationDate of PublicationType
Parallel Logic Programming: A Sequel2023-12-12Paper
Epistemic logic programs: a study of some properties2023-04-04Paper
https://portal.mardi4nfdi.de/entity/Q50877862022-07-01Paper
An epistemic logic for multi-agent systems with budget and costs2021-12-01Paper
Adding Metalogic Features to Knowledge Representation Languages*2021-10-25Paper
Multi-context systems in dynamic environments2019-08-13Paper
RASP and ASP as a fragment of linear logic2018-08-28Paper
Query answering in resource-based answer set semantics2017-11-09Paper
Decidability results for sets with atoms2017-07-12Paper
Negation as a Resource: a Novel View on Answer Set Semantics*2016-08-15Paper
https://portal.mardi4nfdi.de/entity/Q28639082013-12-04Paper
Negation as a Resource: A Novel View on Answer Set Semantics2013-10-10Paper
Nested Weight Constraints in ASP2013-07-30Paper
Autonomous agents coordination: Action languages meet CLP() and Linda2013-06-26Paper
Layered map reasoning2013-05-24Paper
An Agg Application Supporting Visual Reasoning12013-05-10Paper
Distributed colorings for collision-free routing in sink-centric sensor networks2012-09-13Paper
BAAC: A Prolog System for Action Description and Agents Coordination2012-08-29Paper
A graphical representation of relational formulae with complementation2012-06-04Paper
https://portal.mardi4nfdi.de/entity/Q31002362011-11-23Paper
Weight Constraints with Preferences in ASP2011-05-26Paper
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change2011-05-19Paper
Extending and Implementing RASP2011-03-28Paper
An Investigation of Multi-Agent Planning in CLP2011-03-28Paper
Theory-Specific Automated Reasoning2010-07-20Paper
Answer Set Programming with Resources2010-04-21Paper
Multivalued action languages with constraints in CLP(FD)2010-04-07Paper
An efficient relational deductive system for propositional non-classical logics2009-11-30Paper
Representing Multi-agent Planning in CLP2009-11-10Paper
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems2009-10-27Paper
Modeling preferences and conditional preferences on resource consumption and production in ASP2009-06-08Paper
Multivalued Action Languages with Constraints in CLP(FD)2009-03-05Paper
An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics2009-01-20Paper
Comparative uncertainty: theory and automation2008-04-10Paper
Logic Programming2006-06-27Paper
The axiom of elementary sets on the edge of Peircean expressibility2006-01-16Paper
Three-variable statements of set-pairing2004-10-27Paper
Compiling dyadic first-order specifications into map algebra2003-05-14Paper
https://portal.mardi4nfdi.de/entity/Q45396042002-07-10Paper
Goals and benchmarks for automated map reasoning2001-03-19Paper
https://portal.mardi4nfdi.de/entity/Q45039102001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q49409372000-02-28Paper
\(T\)-resolution: Refinements and model elimination2000-01-25Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Andrea Formisano