Marco Alberti
Orcid: 0000-0003-4712-3721Affiliations:
- University of Ferrara, Department of Mathematics and Computer Science, Italy
- Universidade Nova de Lisboa, Lisbon, Portugal
According to our database1,
Marco Alberti
authored at least 66 papers
between 2002 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2023
Machine learning for recognition of individuals from motion capture time series: performance and explainability.
Proceedings of the Italia Intelligenza Artificiale, 2023
2022
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols.
Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022
2021
2020
2018
ACM Trans. Internet Techn., 2018
2017
Intelligenza Artificiale, 2017
Proceedings of the Rules and Reasoning - International Joint Conference, 2017
Proceedings of the Workshop on Probabilistic Logic Programming 2017 co-located with 27th International Conference on Inductive Logic Programming (ILP 2017), 2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
2016
Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), 2016
Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
2013
Fundam. Informaticae, 2013
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination.
Environ. Model. Softw., 2013
2012
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012
Proceedings of the Logic Programs, Norms and Action, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Int. J. Web Serv. Res., 2011
Learning specifications of interaction protocols and business processes and proving their properties.
Intelligenza Artificiale, 2011
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation.
Ann. Math. Artif. Intell., 2011
Proceedings of the Computational Logic in Multi-Agent Systems, 2011
2010
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.
Fundam. Informaticae, 2010
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010
Proceedings of the 25th Italian Conference on Computational Logic, 2010
2009
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.
Proceedings of the IEEE International Conference on Web Services, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Handbook of Research on Multi-Agent Systems, 2009
2008
ACM Trans. Comput. Log., 2008
Int. J. Electron. Commer., 2008
Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the ECAI 2008, 2008
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.
Proceedings of the Il Milione (i.e. 2^6), 2008
2007
Specification and Verification of Agent Interaction Protocols in a Logic-based System.
Scalable Comput. Pract. Exp., 2007
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Proceedings of the Semantic Web: Research and Applications, 2007
2006
Comput. Math. Organ. Theory, 2006
Appl. Artif. Intell., 2006
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the <i>SOCS-SI</i> Tool.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the SWAP 2006, 2006
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006
2005
A computational logic-based system for specification and verification of agent interaction.
PhD thesis, 2005
Theory Pract. Log. Program., 2005
Expressing interaction in combinatorial auction through social integrity constraints.
Intelligenza Artificiale, 2005
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system.
Intelligenza Artificiale, 2005
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Engineering Societies in the Agents World VI, 2005
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005
2004
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004
Specification and verification of agent interaction protocols in a logic-based system.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.
Proceedings of the Global Computing, IST/FET International Workshop, 2004
2003
Specification and Verification of Agent Interaction using Social Integrity Constraints.
Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.
Proceedings of the Declarative Agent Languages and Technologies, 2003
Proceedings of the Multi-Agent Systems and Applications III, 2003
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003
2002
Synthesis of Object Models from Partial Models: A CSP Perspective.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002