Alberto Martelli

From MaRDI portal
Person:596472

Available identifiers

zbMath Open martelli.albertoMaRDI QIDQ596472

List of research outcomes

PublicationDate of PublicationType
Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL2023-04-04Paper
Hypothetical updates, priority and inconsistency in a logic programming language2022-08-30Paper
An abductive proof procedure for conditional logic programming2019-04-29Paper
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP2015-12-28Paper
Business process verification with constraint temporal answer set programming2014-02-27Paper
https://portal.mardi4nfdi.de/entity/Q28520842013-10-07Paper
https://portal.mardi4nfdi.de/entity/Q28477942013-09-11Paper
Reasoning about actions with Temporal Answer Sets2013-06-26Paper
Verifying Business Process Compliance by Reasoning about Actions2010-08-24Paper
AI*IA 2003: Advances in Artificial Intelligence2010-03-05Paper
AI*IA 2003: Advances in Artificial Intelligence2010-03-05Paper
Theoretical Computer Science2010-02-23Paper
Verifying Agents’ Conformance with Multiparty Protocols2009-08-20Paper
Verification of Protocol Conformance and Agent Interoperability2009-04-28Paper
The Seventies2008-06-19Paper
Specifying and verifying interaction protocols in a temporal action logic2007-07-25Paper
Tableau-based automata construction for dynamic linear time temporal logic2007-01-24Paper
Reasoning about interaction protocols for customizing web service selection and composition2007-01-09Paper
Logics in Artificial Intelligence2006-10-25Paper
Computational Logic in Multi-Agent Systems2005-11-23Paper
Programming rational agents in a modal action logic2004-08-10Paper
https://portal.mardi4nfdi.de/entity/Q44483792004-02-18Paper
https://portal.mardi4nfdi.de/entity/Q47992642003-03-18Paper
Reasoning about actions in dynamic linear time temporal logic2001-05-16Paper
Ramification and causality in a modal action logic2000-12-19Paper
Conditional reasoning in logic programming2000-05-25Paper
A modal extension of logic programming: modularity, beliefs and hypothetical reasoning1999-01-03Paper
https://portal.mardi4nfdi.de/entity/Q38388021998-10-08Paper
Extending negation as failure by abduction: A three-valued stable model semantics1997-05-28Paper
https://portal.mardi4nfdi.de/entity/Q48936731997-01-02Paper
Structuring logic programs: a modal approach1995-05-18Paper
On cumulative default logics1995-01-02Paper
Extending Horn clause logic with implication goals1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q39912081992-06-28Paper
An Efficient Unification Algorithm1982-01-01Paper
Dynamic Programming as Graph Searching: An Algebraic Approach1981-01-01Paper
Optimizing decision trees through heuristically guided search1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41900881978-01-01Paper
On the complexity of admissible search algorithms1977-01-01Paper
An application of heuristic search methods to edge and contour detection1976-01-01Paper
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41407651975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40506321974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47779451974-01-01Paper
Nonserial dynamic programming: On the optimal strategy of variable elimination for the rectangular lattice1972-01-01Paper

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: Alberto Martelli