Autore
PAOLO MARIA MANCARELLA
Unimap Dati autore
- Professore Ordinario presso Dipartimento di Informatica
- Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
- Settore scientifico disciplinare INF/01 INFORMATICA
- In servizio
Prodotti
- Articoli
- A Unifying View for Logic Programming with Non-Monotonic Reasoning 1997
- Towards a Logical Semantics for Pure Prolog 1998
- Knowledge representation with multiple logical theories and time 1999
- Production Systems with Negation as Failure 2002
- Integrating knowledge representation and reasoning in Geographical Information Systems 2004
- Computational Logic Foundations of KGP Agents 2007
- Computing ideal sceptical argumentation 2007
- UnipiSynthema POS Tagger, Description and Evaluation 2007
- The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments 2009
- Web Sites Repairing through Abduction 2009
- Computational logic in agent based systems 2011
- Atti, Riassunti o Comunicazioni
- A Multiple-Valued Logical Semantics for Prolog 1996
- Production Systems Need Negation as Failure 1996
- Time in a Multi-Theory Logical Framework 1997
- Temporal Annotated Constraint Logic Programming with Multiple Theories 1999
- MuTACLP: A Language for Declarative GIS Analysis 2000
- AWE, an Innovative Writing Prediction Environment 2003
- Abduction in Classification Tasks 2003
- An abductive proof procedure handling active rules 2003
- Abductive Logic Programming with CIFF: Implementation and Applications 2004
- Abductive Logic Programming with CIFF: System Description 2004
- Abductive logic programming with CIFF (Extended Abstract) 2004
- The CIFF Proof Procedure for Abductive Logic Programming with Constraints 2004
- The KGP model of agency 2004
- Declarative agent control 2005
- Engineering Stable Multi-agent Systems 2005
- On Modelling Multi-agent Systems Declaratively 2005
- Planning Partially for Situated Agents 2005
- Refinements of the CIFF Procedure 2005
- A dialectic procedure for sceptical, assumption-based argumentation 2006
- An Inflected-Sensitive Letter and Word Prediction System 2006
- Memory-Aware Frequent k-Itemset Mining 2006
- Scrittura assistita per la refertazione radiologica 2006
- A Word Predictor for Inflected Languages: System Design and User-Centric Interface 2007
- Argumentation-based decision making for selecting communication services in ambient home environments 2007
- FastType, a Word Predictor for Inflected Languages: Syntactic Prediction Features and User-Centric Interface 2007
- MIEL, un percorso per le competenze ICT nella formazione iniziale dei futuri insegnanti 2007
- Modèle d'argumentation pour le raisonnement pratique 2007
- Programming Applications in CIFF 2007
- The hedgehog and the fox. An argumentation-based decision support system 2007
- The hedgehog and the fox. An argumentation-based decision support system 2007
- Toward a Modular Architecture of Argumentative Agents to Compose Services 2007
- Vers une architecture modulaire d'agent argumentatif pour la composition de services 2007
- Web Site Verification: an Abductive Logic Programming Tool 2007
- Web Sites Verification: An Abductive Logic Programming Tool 2007
- Advances in NLP applied to Word Prediction 2008
- An Argumentative Model for Service-Oriented Agents 2008
- Mining Open-Domain Language Resources for Word Prediction and Advanced Speech Recognition 2008
- Web Sites Repairing through abduction 2008
- Assumption-based argumentation for the minimal concession strategy 2009
- Assumption-based argumentation for the minimal concession strategy of agents engaged in resource negotiation 2009
- A Semantics for Positive Abductive Programs with Implicative and Denial Integrity Constraints 2010
- A semantics for positive abductive logic programs with implicative integrity constraints 2010
- Some design guidelines for practical argumentation systems 2010
- A semantics for semi-negative abductive logic programs with implicative integrity constraints 2011
- Capitoli, Parte,Saggi, Studi, Articoli in libro
- Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning - Computational Logic: Logic Programming and Beyond 2002
- Negation as Failure through Abduction: Reasoning about Termination - Computational Logic: Logic Programming and Beyond 2002
- MuTACLP: A Language for Temporal Reasoning with Multiple Theories - Computational Logic: Logic Programming and beyond. 2002
- The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation - Global Computing (LNCS 3267) 2005
- Rapporti
- Software
- FastType 2009