default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlberto Martelli
Person information
- affiliation: University of Turin, Italy
SPARQL queries 
🛈 Please note that only 61% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c75]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). Description Logics 2022- [c74]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
:
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. LPNMR 2022: 231-244 - 2021
- [c73]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. ICLP Workshops 2021 - [i2]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about actions with EL ontologies with temporal answer sets. CoRR abs/2107.08403 (2021)
2010 – 2019
- 2019
- [c72]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. OVERLAY@AI*IA 2019: 41-46 - 2016
- [c71]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC 2016: 214-229 - 2015
- [j28]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. J. Log. Comput. 25(6): 1307-1330 (2015) - 2013
- [j27]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about actions with Temporal Answer Sets. Theory Pract. Log. Program. 13(2): 201-225 (2013) - [j26]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
Business process verification with constraint temporal answer set programming. Theory Pract. Log. Program. 13(4-5): 641-655 (2013) - [c70]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Temporal deontic action logic for the verification of compliance to norms in ASP. ICAIL 2013: 53-62 - 2012
- [c69]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. CILC 2012: 176-190 - [c68]Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
Business Processes Verification with Temporal Answer Set Programming. KiBP@KR 2012: 48-59 - [c67]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR 2012 - 2011
- [c66]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Compliance of Business Processes with Temporal Answer Sets. CILC 2011: 147-161 - [i1]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with Temporal Answer Sets. CoRR abs/1110.3672 (2011) - 2010
- [c65]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with Temporal Answer Sets. CILC 2010 - [c64]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116
2000 – 2009
- 2008
- [c63]Alberto Martelli:
The Seventies. Concurrency, Graphs and Models 2008: 797-798 - [c62]Laura Giordano, Alberto Martelli:
Verifying Agents' Conformance with Multiparty Protocols. CLIMA 2008: 17-36 - [c61]Laura Giordano, Alberto Martelli:
Verifying the Conformance of Agents with Multiparty Protocols. ECAI 2008: 855-856 - 2007
- [j25]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Reasoning on choreographies and capability requirements. Int. J. Bus. Process. Integr. Manag. 2(4): 247-261 (2007) - [j24]Laura Giordano, Alberto Martelli, Camilla Schwind:
Specifying and verifying interaction protocols in a temporal action logic. J. Appl. Log. 5(2): 214-234 (2007) - [j23]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about interaction protocols for customizing web service selection and composition. J. Log. Algebraic Methods Program. 70(1): 53-73 (2007) - [c60]Laura Giordano, Alberto Martelli:
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. AI*IA 2007: 145-156 - [c59]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Service selection by choreography-driven matching. WEWST 2007 - [c58]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Service selection by choreography-driven matching. WEWST@ECOWS (Final Proceedings) 2007: 5-22 - [c57]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426 - [c56]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139 - 2006
- [j22]Laura Giordano, Alberto Martelli:
Tableau-based automata construction for dynamic linear time temporal logic*. Ann. Math. Artif. Intell. 46(3): 289-315 (2006) - [j21]Maria Paola Bonacina, Alberto Martelli:
Automated Reasoning. Intelligenza Artificiale 3(1-2): 14-20 (2006) - [c55]Alberto Martelli, Laura Giordano:
Reasoning About Web Services in a Temporal Action Logic. Reasoning, Action and Interaction in AI Theories and Systems 2006: 229-246 - [c54]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351 - [c53]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77 - [c52]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Conformance and Interoperability in Open Enviroments. WOA 2006 - 2005
- [c51]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Verification of Protocol Conformance and Agent Interoperability. CLIMA 2005: 265-283 - [c50]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. EPEW/WS-FM 2005: 257-271 - [c49]Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani:
A Temporal Approach to the Specification and Verification of Interaction Protocols. WOA 2005: 171-176 - [c48]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi:
Personalization, Verification and Conformance for Logic-based Communicating Agents. WOA 2005: 177-183 - [c47]Laura Giordano, Alberto Martelli, Camilla Schwind:
Specialization of Interaction Protocols in a Temporal Action Logic. LCMAS 2005: 3-22 - 2004
- [j20]Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano:
Programming Rational Agents in a Modal Action Logic. Ann. Math. Artif. Intell. 41(2-4): 207-257 (2004) - [c46]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA 2004: 196-212 - [c45]Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella:
Reasoning About Agents' Interaction Protocols Inside DCaseLP. DALT 2004: 112-131 - [c44]Laura Giordano, Alberto Martelli, Camilla Schwind:
Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA 2004: 57-69 - [c43]Laura Giordano, Alberto Martelli:
On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. TIME 2004: 133-139 - [c42]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning About Interaction Protocols for Web Service Composition. WSFM 2004: 21-36 - [e1]Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini:
WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November - 1 December 2004, Torino, Italy. Pitagora Editrice Bologna 2004, ISBN 88-371-1533-4 [contents] - 2003
- [c41]Laura Giordano, Alberto Martelli, Camilla Schwind:
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA 2003: 262-274 - [c40]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311 - [c39]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003: 228-241 - [c38]M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri:
A Multimedia, Multichannel, and Personalized News Provider. MIPS 2003: 388-399 - [c37]Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti:
Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98 - [c36]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Interaction for Personalizing Web Service Fruition. WOA 2003: 29-35 - 2001
- [j19]Laura Giordano, Alberto Martelli, Camilla Schwind:
Reasoning about Actions in Dynamic Linear Time Temporal Logic. Log. J. IGPL 9(2): 273-288 (2001) - [c35]Laura Giordano, Alberto Martelli, Camilla Schwind:
Reasoning about Actions in a Multiagent Domain. AI*IA 2001: 237-248 - [c34]Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti:
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425 - 2000
- [j18]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino:
Conditional reasoning in logic programming. J. Log. Program. 44(1-3): 37-74 (2000) - [j17]Laura Giordano, Alberto Martelli, Camilla Schwind:
Ramification and causality in a modal action logic. J. Log. Comput. 10(5): 625-662 (2000)
1990 – 1999
- 1998
- [j16]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. J. Log. Comput. 8(5): 597-635 (1998) - [c33]Laura Giordano, Alberto Martelli, Camilla Schwind:
Dealing with Concurrent Actions in Modal Action Logics. ECAI 1998: 537-541 - [c32]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX 1998: 44-59 - 1996
- [j15]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
A Language for Handling Hypothetical Updates and Inconsistency. Log. J. IGPL 4(3): 385-416 (1996) - [j14]Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. J. Log. Program. 26(1): 31-67 (1996) - [c31]Matteo Baldoni, Laura Giordano, Alberto Martelli:
Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP 1996: 19-33 - [c30]Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
An Abductive Proof Procedure for Conditional Logic Programming. FAPR 1996: 231-245 - [c29]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Framework for a Modal Logic Programming. JICSLP 1996: 52-66 - [c28]Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti:
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP 1996: 132-150 - 1995
- [j13]Laura Giordano, Alberto Martelli:
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Comput. Intell. 11: 11-46 (1995) - [c27]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995: 203-216 - 1994
- [j12]Laura Giordano, Alberto Martelli:
On Cumulative Default Logics. Artif. Intell. 66(1): 161-179 (1994) - [j11]Laura Giordano, Alberto Martelli:
Structuring Logic Programs: A Modal Approach. J. Log. Program. 21(2): 59-94 (1994) - [j10]Laura Giordano, Alberto Martelli:
Structured Prolog: A Language for Structured Logic Programming. Softw. Concepts Tools 15(3): 125- (1994) - [c26]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming. GULP-PRODE (2) 1994: 324-335 - [c25]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - [c24]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
Conditonal Logic Programming. ICLP 1994: 272-289 - 1993
- [c23]Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
A Semantics for Eshghi and Kowalski's Procedure. ICLP 1993: 586-600 - [c22]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Multimodal Logic to Define Modules in Logic Programming. ILPS 1993: 473-487 - 1992
- [j9]Laura Giordano, Alberto Martelli, Gianfranco Rossi:
Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. 95(1): 43-74 (1992) - [c21]Laura Giordano, Alberto Martelli:
A Modal Framework for Structured Logic Programs. ELP 1992: 168-186 - 1991
- [c20]Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
Negation as Failure and Constraints through Abduction and Defaults. AI*IA 1991: 78-87 - [c19]Laura Giordano, Alberto Martelli:
A Modal Reconstruction of Blocks and Modules in Logic Programming. ISLP 1991: 239-253 - 1990
- [c18]Laura Giordano, Alberto Martelli:
Truth Maintenance Systems and Belief Revision. Truth Maintenance Systems (ECAI Workshop) 1990: 71-86 - [c17]Laura Giordano, Alberto Martelli:
An Abductive Characterization of the TMS. ECAI 1990: 308-313 - [c16]Laura Giordano, Alberto Martelli:
Generalized Stable Models, Truth Maintenance and Conflict Resolution. ICLP 1990: 427-441
1980 – 1989
- 1988
- [c15]Alberto Martelli, Gianfranco Rossi:
Enhancing Prolog to Support Prolog Programming Environments. ESOP 1988: 317-327 - [c14]Laura Giordano, Alberto Martelli, Gianfranco Rossi:
Local Definitions with Static Scope Rules in Logic Programming. FGCS 1988: 389-396 - 1986
- [c13]Alberto Martelli, Gianfranco Rossi:
On the Semantics of Logic Programing Languages. ICLP 1986: 327-334 - [c12]Alberto Martelli, Corrado Moiso, Gianfranco Rossi:
An Algorithm for Unification in Equational Theories. SLP 1986: 180-186 - 1984
- [c11]Alberto Martelli, Gianfranco Rossi:
Efficient Unificatioin with Infinite Terms in Logic Programming. FGCS 1984: 202-209 - 1983
- [j8]Roberto Barbuti, Alberto Martelli:
A Structured Approach to Static Semantics Correctness. Sci. Comput. Program. 3(3): 279-311 (1983) - [c10]Roberto Barbuti, Alberto Martelli:
A Constructive Approach to Static Verification of Program Properties. IFIP Congress 1983: 457-462 - 1982
- [j7]Alberto Martelli, Ugo Montanari:
An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282 (1982) - 1981
- [j6]Stefania Gnesi, Ugo Montanari, Alberto Martelli:
Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM 28(4): 737-751 (1981) - [c9]Rocco De Nicola, Alberto Martelli, Ugo Montanari:
Communication Through Message Passing or Shared Memory: A Formal Comparison. ICDCS 1981: 513-522 - 1980
- [c8]Roberto Barbuti, Alberto Martelli:
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. Symposium on Programming 1980: 1-16
1970 – 1979
- 1979
- [c7]Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini:
A Flexible Environment for Program Development Based on a Symbolic Interpreter. ICSE 1979: 251-264 - 1978
- [j5]Alberto Martelli, Ugo Montanari:
Optimizing Decision Trees Through Heuristically Guided Search. Commun. ACM 21(12): 1025-1039 (1978) - 1977
- [j4]Alberto Martelli:
On the Complexity of Admissible Search Algorithms. Artif. Intell. 8(1): 1-13 (1977) - [c6]Alberto Martelli, Ugo Montanari:
Theorem Proving with Structure Sharing and Efficient Unification. IJCAI 1977: 543 - 1976
- [j3]Alberto Martelli:
An Application of Heuristic Search Methods to Edge and Contour Detection. Commun. ACM 19(2): 73-83 (1976) - [j2]Alberto Martelli:
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph. J. ACM 23(1): 58-73 (1976) - 1975
- [c5]Alberto Martelli, Ugo Montanari:
Form Dynamic Programming To Search Algorithms With Functional Costs. IJCAI 1975: 345-350 - 1974
- [c4]Alberto Martelli, Ugo Montanari:
Dynamic Programming Schemata. ICALP 1974: 66-80 - [c3]Alberto Martelli:
An Application of Regular Algebra to the Enumeration of Cut Sets in a Graph. IFIP Congress 1974: 511-515 - 1973
- [c2]Alberto Martelli, Ugo Montanari:
Additive AND/OR Graphs. IJCAI 1973: 1-11 - 1972
- [j1]Alberto Martelli:
Edge detection using heuristic search methods. Comput. Graph. Image Process. 1(2): 169-182 (1972) - 1971
- [c1]Alberto Martelli, Ugo Montanari:
Optimal Smoothing in Picture Processing: An Application to Fingerprints. IFIP Congress (1) 1971: 173-178
Coauthor Index
[c75] [c74] [c73] [i2] [c72] [c71] [j28] [j27] [j26] [c70] [c69] [c68] [c67] [c66] [i1] [c65] [c64] [c62] [c61] [j24] [c60] [j22] [c55] [c49] [c47] [j20] [c44] [c43] [c41] [c37] [j19] [c35] [c34] [j18] [j17] [j16] [c33] [c32] [j15] [j14] [c31] [c30] [c29] [c28] [j13] [c27] [j12] [j11] [j10] [c26] [c25] [c24] [c23] [c22] [j9] [c21] [c20] [c19] [c18] [c17] [c16] [c14]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
