Alessandro Provetti
Orcid: 0000-0001-9542-4110
According to our database1,
Alessandro Provetti
authored at least 71 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Inf. Sci., October, 2023
A right kind of wrong: European equity market forecasting with custom feature engineering and loss functions.
Expert Syst. Appl., August, 2023
2022
Frontiers Artif. Intell., 2022
Predicting Seriousness of Injury in a Traffic Accident: A New Imbalanced Dataset and Benchmark.
Proceedings of the Engineering Applications of Neural Networks, 2022
Proceedings of the Workshop on Applied Machine Learning Methods for Time Series Forecasting (AMLTS 2022) co-located with 31st ACM International Conference on Information and Knowledge Management (CIKM 2022), 2022
2021
Proceedings of the ICAIF'21: 2nd ACM International Conference on AI in Finance, Virtual Event, November 3, 2021
2020
IEEE Trans. Knowl. Data Eng., 2020
Proceedings of the WebSci '20: 12th ACM Conference on Web Science, 2020
2019
Proceedings of the 2019 IEEE/WIC/ACM International Conference on Web Intelligence, 2019
2018
2015
IEEE Trans. Syst. Man Cybern. Syst., 2015
CoRR, 2015
Proceedings of the 30th Italian Conference on Computational Logic, 2015
2014
J. Comput. Syst. Sci., 2014
Characterizing and computing stable models of logic programs: The non-stratified case.
CoRR, 2014
RDF annotation of Second Life objects: Knowledge Representation meets Social Virtual reality.
Comput. Math. Organ. Theory, 2014
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014
2013
2012
CoRR, 2012
Firewall Configuration Policies for the Specification and Implementation of Private Zones.
Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012
Proceedings of the Computational Social Networks, 2012
2011
Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011
Improving recommendation quality by merging collaborative filtering and social relationships.
Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011
Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011
Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs.
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2011
Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case.
Proceedings of the Database Systems for Advanced Applications, 2011
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
Proceedings of the 8th Annual Collaboration, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010
Knowledge Representation in Virtual Teams: A Perspective Approach for Synthetic Worlds.
Proceedings of the Collaborative Networks for a Sustainable World, 2010
2009
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures.
J. Log. Comput., 2009
Flexible Interpolated-Binary Search over Sorted Sets.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
2007
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007
2006
Proceedings of the 7th WOA 2006 Workshop, 2006
Proceedings of the 20th Workshop on Logic Programming, 2006
Aggregating Information and Enforcing Awareness Across Communities with the Dynamo RSS Feeds Creation Engine: Preliminary Report.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006
Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
2005
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005
Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005
Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005
2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
Proceedings of the Web Services, European Conference, 2004
2003
Theory Pract. Log. Program., 2003
Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003
Local Closed-World Assumptions for reasoning about Semantic Web data.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
User Preferences VS Minimality in PPDL.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
On the equivalence and range of applicability of graph-based representations of logic programs.
Inf. Process. Lett., 2002
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002
2001
Proceedings of the Answer Set Programming, 2001
2000
Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000
1998
Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1997
Action Specifications in log.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Ordering events: Intervals are sufficient, more general sets are usually not necessary.
Reliab. Comput., 1996
Comput. Intell., 1996
1994
Hypothetical Reasoning from Situation Calculus to Event Calculus.
Proceedings of the TIME-94 International Workshop on Temporal Reasoning, 1994
Skeptical and Credulous Event Calculi for Supporting Modal Queries.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994