The following pages link to Alberto Martelli (Q596472):
Displaying 46 items.
- Programming rational agents in a modal action logic (Q596475) (← links)
- Reasoning about interaction protocols for customizing web service selection and composition (Q861301) (← links)
- Tableau-based automata construction for dynamic linear time temporal logic (Q862830) (← links)
- Extending Horn clause logic with implication goals (Q1186427) (← links)
- On the complexity of admissible search algorithms (Q1232903) (← links)
- On cumulative default logics (Q1321059) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Nonserial dynamic programming: On the optimal strategy of variable elimination for the rectangular lattice (Q2543581) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- Reasoning about actions in dynamic linear time temporal logic (Q2716929) (← links)
- (Q2847794) (← links)
- (Q2852084) (← links)
- Extending negation as failure by abduction: A three-valued stable model semantics (Q3128616) (← links)
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
- Achieving completeness in the verification of action theories by Bounded Model Checking in ASP (Q3458887) (← links)
- The Seventies (Q3507403) (← links)
- Verifying Business Process Compliance by Reasoning about Actions (Q3582738) (← links)
- Verification of Protocol Conformance and Agent Interoperability (Q3623976) (← links)
- (Q3838802) (← links)
- Dynamic Programming as Graph Searching: An Algebraic Approach (Q3926375) (← links)
- An Efficient Unification Algorithm (Q3936229) (← links)
- (Q3991208) (← links)
- (Q4050632) (← links)
- An application of heuristic search methods to edge and contour detection (Q4079090) (← links)
- A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph (Q4083485) (← links)
- (Q4140765) (← links)
- Optimizing decision trees through heuristically guided search (Q4178802) (← links)
- (Q4190088) (← links)
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (Q4221295) (← links)
- Structuring logic programs: a modal approach (Q4311648) (← links)
- (Q4448379) (← links)
- Conditional reasoning in logic programming (Q4484723) (← links)
- Ramification and causality in a modal action logic (Q4522330) (← links)
- An abductive proof procedure for conditional logic programming (Q4632300) (← links)
- (Q4777945) (← links)
- (Q4799264) (← links)
- (Q4893673) (← links)
- Hypothetical updates, priority and inconsistency in a logic programming language (Q5101451) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
- Logics in Artificial Intelligence (Q5394113) (← links)
- Business process verification with constraint temporal answer set programming (Q5398302) (← links)
- Computational Logic in Multi-Agent Systems (Q5706839) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897330) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897332) (← links)
- Theoretical Computer Science (Q5897363) (← links)
- An abductive proof procedure for reasoning about actions in modal logic programming (Q6623797) (← links)
