The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Paolo Torroni" ( http://dblp.L3S.de/Authors/Paolo_Torroni )

URL (Homepage):  http://www-lia.deis.unibo.it/~pt/  Author page on DBLP  Author page in RDF  Community of Paolo Torroni in ASPL-2

Publication years (Num. hits)
1999-2003 (19) 2004-2005 (20) 2006-2008 (20) 2009-2010 (17) 2011-2013 (19) 2014-2017 (17) 2018-2019 (17)
Publication types (Num. hits)
article(43) incollection(4) inproceedings(70) proceedings(12)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 12 keywords

Results
Found 130 publication records. Showing 129 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marco Maratea, Ivan Serina, Paolo Torroni Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Francesco Santini 0001, Paolo Torroni Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Qingliang Chen, Paolo Torroni, Serena Villata Principles and practice of multi-agent systems. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Galassi, Marco Lippi 0001, Paolo Torroni Attention, please! A Critical Review of Neural Attention Models in Natural Language Processing. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Andrea Galassi, Kristian Kersting, Marco Lippi 0001, Xiaoting Shao, Paolo Torroni Neural-Symbolic Argumentation Mining: an Argument in Favour of Deep Learning and Reasoning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marco Lippi 0001, Przemyslaw Palka, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Giovanni Sartor, Paolo Torroni CLAUDETTE: an automated detector of potentially unfair clauses in online terms of service. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ruta Liepina, Giuseppe Contissa, Kasper Drazewski, Francesca Lagioia, Marco Lippi 0001, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni GDPR Privacy Policies in CLAUDETTE: Challenges of Omission, Context and Multilingualism. Search on Bibsonomy ASAIL@ICAIL The full citation details ... 2019 DBLP  BibTeX  RDF
1Qingliang Chen, Paolo Torroni, Serena Villata Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Özgür Kafali, Paolo Torroni Comodo: Collaborative monitoring of commitment delegations. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mehdi Dastani, Paolo Torroni, Neil Yorke-Smith Monitoring norms: a multi-disciplinary perspective. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Lippi 0001, Przemyslaw Palka, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Giovanni Sartor, Paolo Torroni CLAUDETTE: an Automated Detector of Potentially Unfair Clauses in Online Terms of Service. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella Blocking time under basic priority inheritance: Polynomial bound and exact computation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giuseppe Contissa, Koen Docter, Francesca Lagioia, Marco Lippi 0001, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni Automated Processing of Privacy Policies Under the EU General Data Protection Regulation. Search on Bibsonomy JURIX The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Galassi, Marco Lippi 0001, Paolo Torroni Argumentative Link Prediction using Residual Networks and Multi-Objective Learning. Search on Bibsonomy ArgMining@EMNLP The full citation details ... 2018 DBLP  BibTeX  RDF
1Tobias Mayer 0002, Elena Cabrio, Marco Lippi 0001, Paolo Torroni, Serena Villata Argument Mining on Clinical Trials. Search on Bibsonomy COMMA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giuseppe Contissa, Francesca Lagioia, Marco Lippi 0001, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni Towards Consumer-Empowering Artificial Intelligence. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Iryna Gurevych, Marco Lippi 0001, Paolo Torroni Argumentation in Social Media. Search on Bibsonomy ACM Trans. Internet Techn. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Lippi 0001, Francesca Lagioia, Giuseppe Contissa, Giovanni Sartor, Paolo Torroni Claim Detection in Judgments of the EU Court of Justice. Search on Bibsonomy AICOL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Lippi 0001, Przemyslaw Palka, Giuseppe Contissa, Francesca Lagioia, Hans-Wolfgang Micklitz, Yannis Panagis, Giovanni Sartor, Paolo Torroni Automated Detection of Unfair Clauses in Online Consumer Contracts. Search on Bibsonomy JURIX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Lippi 0001, Paolo Torroni MARGOT: A web server for argumentation mining. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simone Gabbriellini, Paolo Torroni Microdebates: Structuring debates without a structuring tool. Search on Bibsonomy AI Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Lippi 0001, Paolo Torroni Argumentation Mining: State of the Art and Emerging Trends. Search on Bibsonomy ACM Trans. Internet Techn. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Lippi 0001, Paolo Torroni Argument Mining from Speech: Detecting Claims in Political Debates. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni (eds.) PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings Search on Bibsonomy PRIMA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zeynep Kiziltan, Marco Lippi 0001, Paolo Torroni Constraint Detection in Natural Language Problem Descriptions. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran Applications of logical approaches to argumentation. Search on Bibsonomy Argument & Computation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Lippi 0001, Paolo Torroni Argument Mining: A Machine Learning Perspective. Search on Bibsonomy TAFA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Qingliang Chen, Paolo Torroni, Serena Villata, Jane Yung-jen Hsu, Andrea Omicini (eds.) PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings Search on Bibsonomy PRIMA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Lippi 0001, Paolo Torroni Context-Independent Claim Detection for Argument Mining. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nefise Yaglikci, Paolo Torroni Microdebates App for Android: A Tool for Participating in Argumentative Online Debates Using a Handheld Device. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Representing and monitoring social commitments using the event calculus. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Simone Gabbriellini, Paolo Torroni A New Framework for ABMs Based on Argumentative Reasoning. Search on Bibsonomy ESSA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (eds.) Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings Search on Bibsonomy CLIMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Simone Gabbriellini, Paolo Torroni Arguments in social networks. Search on Bibsonomy AAMAS The full citation details ... 2013 DBLP  BibTeX  RDF
1Simone Gabbriellini, Paolo Torroni NetArg: an agent-based social simulator with argumentative agents. Search on Bibsonomy AAMAS The full citation details ... 2013 DBLP  BibTeX  RDF
1Özgür Kafali, Paolo Torroni Exception diagnosis in multiagent contract executions. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Simone Gabbriellini, Paolo Torroni Large Scale Agreements via Microdebates. Search on Bibsonomy AT The full citation details ... 2012 DBLP  BibTeX  RDF
1Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Reactive Event Calculus for Monitoring Global Computing Applications. Search on Bibsonomy Logic Programs, Norms and Action The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni A Computational Logic Application Framework for Service Discovery and Contracting. Search on Bibsonomy Int. J. Web Service Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Search on Bibsonomy Cybernetics and Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. Search on Bibsonomy DALT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesca Toni, Paolo Torroni Bottom-Up Argumentation. Search on Bibsonomy TAFA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.) Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Özgür Kafali, Paolo Torroni Social Commitment Delegation and Monitoring. Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Özgür Kafali, Francesca Toni, Paolo Torroni Reasoning about Exceptions to Contracts. Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Özgür Kafali, Paolo Torroni Diagnosing commitments: delegation revisited. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Özgür Kafali, Francesca Toni, Paolo Torroni Collaborative diagnosis of exceptions to contracts. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni A Logic-Based, Reactive Calculus of Events. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti 0001, Evelina Lamma Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Search on Bibsonomy Multiagent and Grid Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Paolo Torroni 25 Years of Applications of Logic Programming in Italy. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni (eds.) Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers Search on Bibsonomy LADS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Özgür Kafali, Federico Chesani, Paolo Torroni What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Declarative Technologies for Open Agent Systems and Beyond. Search on Bibsonomy KES-AMSTA (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Role Monitoring in Open Agent Societies. Search on Bibsonomy KES-AMSTA (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello Modelling Interactions via Commitments and Expectations. Search on Bibsonomy Handbook of Research on Multi-Agent Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Torroni, Marco Gavanelli, Federico Chesani Arguing on the Semantic Grid. Search on Bibsonomy Argumentation in Artificial Intelligence The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali Social Commitments in Time: Satisfied or Compensated. Search on Bibsonomy DALT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Commitment Tracking via the Reactive Event Calculus. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie-Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni, Rineke Verbrugge (eds.) Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 Search on Bibsonomy MALLOW The full citation details ... 2009 DBLP  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Verifying A-Priori the Composition of Declarative Specified Services. Search on Bibsonomy MALLOW The full citation details ... 2009 DBLP  BibTeX  RDF
1Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni Introductory Essay of LADS'009. Search on Bibsonomy MALLOW The full citation details ... 2009 DBLP  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Verifiable agent interaction in abductive logic programming: The SCIFF framework. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni Expressing and Verifying Business Contracts with Abductive Logic Programming. Search on Bibsonomy Int. J. Electronic Commerce The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Modeling and Verification of Business Processes and Choreographies in ALP. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni (eds.) Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers Search on Bibsonomy LADS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Montali, Paolo Torroni, Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello Verification from Declarative Specifications Using Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. Search on Bibsonomy SWAP The full citation details ... 2008 DBLP  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Verification of Choreographies During Execution Using the Reactive Event Calculus. Search on Bibsonomy WS-FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Specification and Verification of Agent Interaction Protocols in a Logic-based System. Search on Bibsonomy Scalable Computing: Practice and Experience The full citation details ... 2007 DBLP  BibTeX  RDF
1Paolo Torroni, Marco Gavanelli, Federico Chesani Argumentation in the Semantic Web. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF argumentation frameworks, Semantic Web, logic programming
1Michael Fisher 0001, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. Search on Bibsonomy Computational Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni Expressing and Verifying Business Contracts with Abductive Logic Programming. Search on Bibsonomy Normative Multi-agent Systems The full citation details ... 2007 DBLP  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni Web Service Contracting: Specification and Reasoning with SCIFF. Search on Bibsonomy ESWC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone -Tropos. Search on Bibsonomy CLIMA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni Compliance verification of agent interaction: a logic-based software tool. Search on Bibsonomy Applied Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor Mapping deontic operators to abductive expectations. Search on Bibsonomy Computational & Mathematical Organization Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni (eds.) Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers Search on Bibsonomy DALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Paolo Torroni Multi-agent agreements about actions through argumentation. Search on Bibsonomy COMMA The full citation details ... 2006 DBLP  BibTeX  RDF
1Francesca Toni, Paolo Torroni (eds.) Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers Search on Bibsonomy CLIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. Search on Bibsonomy WS-FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni Expressing interaction in combinatorial auction through social integrity constraints. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2005 DBLP  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor Mapping of Deontic Operators to Abductive Expectations. Search on Bibsonomy NORMAS The full citation details ... 2005 DBLP  BibTeX  RDF
1João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum (eds.) Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers Search on Bibsonomy DALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti 0001, Sergio Storari Protocol Specification and Verification by Using Computational Logic. Search on Bibsonomy WOA The full citation details ... 2005 DBLP  BibTeX  RDF
1João Alexandre Leite, Paolo Torroni (eds.) Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Marco Gavanelli, Marco Alberti 0001, Evelina Lamma, Paola Mello, Paolo Torroni Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Security Protocols Verification in Abductive Logic Programming: A Case Study. Search on Bibsonomy ESAW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni The SCIFF Abductive Proof-Procedure. Search on Bibsonomy AI*IA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni Abduction with Hypotheses Confirmation. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 129 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license