Luciano Serafini

According to our database1, Luciano Serafini authored at least 210 papers between 1991 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning.
FLAP, 2019

Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation.
CoRR, 2019

A Note on Reasoning on DL-LiteR with Defeasibility.
CoRR, 2019

Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning.
CoRR, 2019

Incremental Learning of Discrete Planning Domains from Continuous Perceptions.
CoRR, 2019

Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP.
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Complementing Logical Reasoning with Sub-symbolic Commonsense.
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Knowledge Enhanced Neural Networks.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation.
Proceedings of the International Joint Conference on Neural Networks, 2019

A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Event Detection from Video Using Answer Set Programing.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018
Learning abstract planning domains and mappings to real world perceptions.
CoRR, 2018

Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix).
CoRR, 2018

Enhancing context knowledge repositories with justifiable exceptions.
Artif. Intell., 2018

Reasoning with Justifiable Exceptions in Contextual Hierarchies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract).
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Bayesian Markov Logic Networks - Bayesian Inference for Statistical Relational Learning.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

2017
Logic Tensor Networks for Semantic Image Interpretation.
CoRR, 2017

Distributed First Order Logic.
Artif. Intell., 2017

CKR: Live Demo: Representing an Evolving Scenario by Contexts and Exceptions.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation.
Proceedings of the Symposium on Applied Computing, 2017

Towards integration of ontology and text-extracted data for event coreference reasoning.
Proceedings of the Symposium on Applied Computing, 2017

Logic Tensor Networks for Semantic Image Interpretation.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States.
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes.
Semantic Web, 2016

Integration of numeric and symbolic information for semantic image interpretation.
Intelligenza Artificiale, 2016

Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge.
CoRR, 2016

On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning.
CoRR, 2016

Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge.
Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), 2016

Learning and Reasoning with Logic Tensor Networks.
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

2015
The KnowledgeStore: A Storage Framework for Interlinking Unstructured and Structured Knowledge.
Int. J. Semantic Web Inf. Syst., 2015

Ontology-centered environmental information delivery for personalized decision support.
Expert Syst. Appl., 2015

Getting the environmental information across: from the Web to the user.
Expert Systems, 2015

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print).
CoRR, 2015

Distributed First Order Logic.
CoRR, 2015

Semantic Enrichment of Mobile Phone Data Records Using Background Knowledge.
CoRR, 2015

Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Contextual Framework for Reasoning on Events.
Proceedings of the 4th International Workshop on Detection, 2015

2014
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version).
CoRR, 2014

Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation.
CoRR, 2014

Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources.
Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

Integrating NLP and SW with the KnowledgeStore.
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Exploring an Ontology via Text Similarity: An Experimental Study.
Proceedings of the 3rd International Workshop on Intelligent Exploration of Semantic Data (IESD 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

ePlanning: An Ontology-based System for Building Individualized Education Plans for Students with Special Educational Needs.
Proceedings of the Industry Track at the International Semantic Web Conference 2014 Co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

NewsReader: recording history from daily news streams.
Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

Human activity recognition from spatial data sources.
Proceedings of the Third ACM SIGSPATIAL International Workshop on Mobile Geographic Information Systems, 2014

An ontology for the Business Process Modelling Notation.
Proceedings of the Formal Ontology in Information Systems, 2014

On the Collaborative Development of Application Ontologies: A Practical Case Study with a SME.
Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Integrating Unstructured and Structured Knowledge with the KnowledgeStore.
Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Knowledge Propagation in Contextualized Knowledge Repositories: An Experimental Evaluation - (Extended Paper).
Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Mixing Low-Level and Semantic Features for Image Interpretation - A Framework and a Simple Case Study.
Proceedings of the Computer Vision - ECCV 2014 Workshops, 2014

Combining Reasoning on Semantic Web Metadata.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Contextualized Knowledge Repositories with Justifiable Exceptions.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

Defeasibility in Contextual Reasoning with CKR.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

The Medical Cyber-physical Systems Activity at EIT: A Look under the Hood.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

Multi-context Logics - A General Introduction.
Proceedings of the Context in Computing, 2014

2013
Anchoring Background Knowledge to Rich Multimedia Contexts in the KnowledgeStore.
Proceedings of the New Trends of Research in Ontologies and Lexical Resources, 2013

Semantic technologies for industry: From knowledge modeling and integration to intelligent applications.
Intelligenza Artificiale, 2013

Denoting Data in the Grounded Annotation Framework.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Semantic Interpretation of Mobile Phone Records Exploiting Background Knowledge.
Proceedings of the Doctoral Consortium co-located with 12th International Semantic Web Conference (ISWC 2013), 2013

Semantic Enrichment of Mobile Phone Data Records Using Linked Open Data.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Interlinking Unstructured and Structured Knowledge in an Integrated Framework.
Proceedings of the 2013 IEEE Seventh International Conference on Semantic Computing, 2013

GAF: A Grounded Annotation Framework for Events.
Proceedings of the Workshop on Events: Definition, 2013

Semantic enrichment of mobile phone data records.
Proceedings of the 12th International Conference on Mobile and Ubiquitous Multimedia, 2013

Comparing contextual and flat representations of knowledge: a concrete case about football data.
Proceedings of the 7th International Conference on Knowledge Capture, 2013

Materialization Calculus for Contexts in the Semantic Web.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

ExpTime Tableaux Algorithm for Contextualized ALC.
Proceedings of the Modeling and Using Context, 2013

2012
Contextualized knowledge repositories for the Semantic Web.
J. Web Semant., 2012

Semantics-Based Aspect-Oriented Management of Exceptional Flows in Business Processes.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2012

Corpus-based terminological evaluation of ontologies.
Applied Ontology, 2012

Multi Context Logics: a Formal Framework for Structuring Knowledge.
Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Data-Driven Logical Reasoning.
Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web, 2012

Ontology-centric Decision Support.
Proceedings of the International Workshop on Semantic Technologies meet Recommender Systems & Big Data, 2012

Formal Verification of Data Provenance Records.
Proceedings of the Semantic Web - ISWC 2012, 2012

A Formal Semantics for Weighted Ontology Mappings.
Proceedings of the Semantic Web - ISWC 2012, 2012

A novel Framenet-based resource for the semantic web.
Proceedings of the ACM Symposium on Applied Computing, 2012

From Ontology to NL: Generation of Multilingual User-Oriented Environmental Reports.
Proceedings of the Natural Language Processing and Information Systems, 2012

The KnowledgeStore: an Entity-Based Storage System.
Proceedings of the Eighth International Conference on Language Resources and Evaluation, 2012



Generation of Multilingual Personalized Environmental Bulletins from an OWL-based Ontology.
Proceedings of the Light up the Ideas of Environmental Informatics: Proceedings of the 26th International Conference on Informatics for Environmental Protection, 2012

Semantic Knowledge Discovery from Heterogeneous Data Sources.
Proceedings of the Knowledge Engineering and Knowledge Management, 2012

Investigating the Semantics of Frame Elements.
Proceedings of the Knowledge Engineering and Knowledge Management, 2012

Key-Concept Extraction for Ontology Engineering.
Proceedings of the Knowledge Engineering and Knowledge Management, 2012

Towards More Effective Tableaux Reasoning for CKR.
Proceedings of the 2012 International Workshop on Description Logics, 2012

An Ontological Framework for Decision Support.
Proceedings of the Semantic Technology, Second Joint International Conference, 2012

TrentinoMedia: Exploiting NLP and Background Knowledge to Browse a Large Multimedia News Store.
Proceedings of the Popularize Artificial Intelligence, 2012

2011
A framework for the collaborative specification of semantically annotated business processes.
Journal of Software Maintenance, 2011

Simple Reasoning for Contextualized RDF Knowledge.
Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Wiki-Based Conceptual Modeling: An Experience with the Public Administration.
Proceedings of the Semantic Web - ISWC 2011, 2011

Boosting Collaborative Ontology Building with Key-Concept Extraction.
Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

Building an Environmental Information System for Personalized Content Delivery.
Proceedings of the Environmental Software Systems. Frameworks of eEnvironment, 2011

Contextual Representation and Reasoning with Description Logics.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Applications of Semantic Wikis.
Proceedings of the Context and Semantics for Knowledge Management, 2011

2010
Augmenting Subsumption Propagation in Distributed Description Logics.
Applied Artificial Intelligence, 2010

Supporting Natural Language Processing with Background Knowledge: Coreference Resolution Case.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Context-Driven Semantic Enrichment of Italian News Archive.
Proceedings of the Semantic Web: Research and Applications, 2010

Automatic Support for Formative Ontology Evaluation.
Proceedings of the EKAW2010 Poster and Demo Track, Lisbon, Portugal, October 11 - 15, 2010, 2010

Modeling Contextualized Knowledge.
Proceedings of the Second Workshop on Context, Information and Ontologies, 2010

MoKi: a Wiki-based Conceptual Modeling Tool.
Proceedings of the EKAW2010 Poster and Demo Track, Lisbon, Portugal, October 11 - 15, 2010, 2010

Using Background Knowledge to Support Coreference Resolution.
Proceedings of the ECAI 2010, 2010

Towards Formal Comparison of Ontology Linking, Mapping and Importing.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

A Formal Model of Queries on Interlinked RDF Graphs.
Proceedings of the Linked Data Meets Artificial Intelligence, 2010

2009
Composing Modular Ontologies with Distributed Description Logics.
Proceedings of the Modular Ontologies: Concepts, 2009

Formal and Conceptual Comparison of Ontology Mapping Languages.
Proceedings of the Modular Ontologies: Concepts, 2009

MoKi: the Modelling wiKi.
Proceedings of the 4th Semantic Wiki Workshop (SemWiki 2009) at the 6th European Semantic Web Conference (ESWC 2009), 2009

Highlighting Assertional Effects of Ontology Editing Activities in OWL.
Proceedings of the 3rd International Workshop on Ontology Dynamics, 2009

Semantically-Aided Business Process Modeling.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

A Methodology for Knowledge Acquisition in Consumer-Oriented Healthcare.
Proceedings of the Knowledge Discovery, Knowlege Engineering and Knowledge Management, 2009

A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition.
Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

Revision Support for Modeling Tasks, Topics and Skills.
Proceedings of the 5th International Conference on Semantic Systems, 2009

MoKi: The Enterprise Modelling Wiki.
Proceedings of the Semantic Web: Research and Applications, 2009

A Lexical-Ontological Resource for Consumer Healthcare.
Proceedings of the Electronic Healthcare - Second International ICST Conference, 2009

Collaborative Specification of Semantically Annotated Business Processes.
Proceedings of the Business Process Management Workshops, 2009

Querying the Web of Data: A Formal Approach.
Proceedings of the Semantic Web, Fourth Asian Conference, 2009

Modular Knowledge Representation and Reasoning in the Semantic Web.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008
Collaborative Enterprise Integrated Modelling.
Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

Deploying Semantic Web Technologies for Work Integrated Learning in Industry - A Comparison: SME vs. Large Sized Company.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Reasoning on Semantically Annotated Processes.
Proceedings of the Service-Oriented Computing, 2008

Complexity of Reasoning With Expressive Ontology Mappings.
Proceedings of the Formal Ontology in Information Systems, 2008

Bridging Heterogeneous Representations of Binary Relations: First Results.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Mapping Properties of Heterogeneous Ontologies.
Proceedings of the Artificial Intelligence: Methodology, 2008

Logical Analysis of Mappings between Medical Classification Systems.
Proceedings of the Artificial Intelligence: Methodology, 2008

2007
Reasoning with Instances of Heterogeneous Ontologies.
Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento di Informatica - Universita' degli Studi di Bari, 2007

Instance Migration in Heterogeneous Ontology Environments.
Proceedings of the Semantic Web, 2007

A Modular Framework for Ontology-based Representation of Patent Information.
Proceedings of the Legal Knowledge and Information Systems, 2007

Contextual Default Reasoning.
Proceedings of the IJCAI 2007, 2007

On Relating Heterogeneous Elements from Different Ontologies.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Formal analysis of an agent-based optimisation strategy for Data Grids.
Multiagent and Grid Systems, 2006

Logics For Artificial Intelligence.
Intelligenza Artificiale, 2006

Bootstrapping semantics on the web: meaning elicitation from schemas.
Proceedings of the 15th international conference on World Wide Web, 2006

From Mentions to Ontology: A Pilot Sudy.
Proceedings of the SWAP 2006, 2006

Reconciling Concepts and Relations in Heterogeneous Ontologies.
Proceedings of the SWAP 2006, 2006

Semantic Import: An Approach for Partial Ontology Reuse.
Proceedings of the 1st International Workshop on Modular Ontologies, 2006

The role of lexical resources in matching classification schemas.
Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006

Matching Hierarchical Classifications with Attributes.
Proceedings of the Semantic Web: Research and Applications, 2006

Verifying space and time requirements for resource-bounded agents.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Autonomous Ontology: Operations and Semantics.
Proceedings of the Semantic Web, 2006

Model-Checking Memory Requirements of Resource-Bounded Reasoners.
Proceedings of the Proceedings, 2006

Semantic Coordination of Heterogeneous Classifications Schemas.
Proceedings of the Semantic Web and Peer-to-Peer, 2006

2005
Distributed Instance Retrieval in Heterogeneous Ontologies.
Proceedings of the SWAP 2005, 2005

From Text to Knowledge for the Semantic Web: the ONTOTEXT Project.
Proceedings of the SWAP 2005, 2005

Introducing Context into RDF Knowledge Bases.
Proceedings of the SWAP 2005, 2005

A Formal Investigation of Mapping Language for Terminological Knowledge.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Aspects of Distributed and Modular Ontology Reasoning.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Minimal and Absent Information in Contexts.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

DRAGO: Distributed Reasoning Architecture for the Semantic Web.
Proceedings of the Semantic Web: Research and Applications, 2005

Minimality and Non-determinism in Multi-context Systems.
Proceedings of the Modeling and Using Context, 2005

A Formal Investigation of Mapping Languages for Terminological Knowledge.
Proceedings of the BNAIC 2005, 2005

2004
Peer-to-peer semantic coordination.
J. Web Semant., 2004

Contextualizing ontologies.
J. Web Semant., 2004

Semantic Coordination for Document Retrieval.
KI, 2004

Comparing formal theories of context in AI.
Artif. Intell., 2004

Using C-OWL for the alignment and merging of medical ontologies.
Proceedings of the KR-MED 2004, 2004

Satisfiability for Propositional Contexts.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Local Tableaux for Reasoning in Distributed Description Logics.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Coordinating Semantic Peers.
Proceedings of the Artificial Intelligence: Methodology, 2004

Complexity of Contextual Reasoning.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Context matching for electronic marketplaces: a case study.
Knowledge Eng. Review, 2003

Distributed Description Logics: Assimilating Information from Peer Sources.
J. Data Semantics, 2003

A Robust and Computational Characterisation of Peer-to-Peer Database Systems
CoRR, 2003

Semantic Coordination in Systems of Autonomous Agents: the Approach and an Implementation.
Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

Semantic Coordination: A New Approach and an Application.
Proceedings of the Semantic Web, 2003

C-OWL: Contextualizing Ontologies.
Proceedings of the Semantic Web, 2003

Planning For Web Services the Hard Way.
Proceedings of the 2003 Symposium on Applications and the Internet Workshops (SAINT 2003), 27-31 January 2003, 2003

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.
Proceedings of the Databases, 2003

Local Relational Model: A Logical Formalization of Database Coordination.
Proceedings of the Modeling and Using Context, 2003

On the Difference between Bridge Rules and Lifting Axioms.
Proceedings of the Modeling and Using Context, 2003

A SAT-Based Algorithm for Context Matching.
Proceedings of the Modeling and Using Context, 2003

Making Explicit the Hidden Semantics of Hierarchical Classifications.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002
Mental States Recognition from Communication.
J. Log. Comput., 2002

A Foundation for Metareasoning Part II: The Model Theory.
J. Log. Comput., 2002

A Foundation for Metareasoning Part I: The Proof Theory.
J. Log. Comput., 2002

ML Systems: A Proof Theory for Contexts.
Journal of Logic, Language and Information, 2002

Data Management for Peer-to-Peer Computing : A Vision.
Proceedings of the Fifth International Workshop on the Web and Databases, 2002

A Request Language for Web-Services Based on Planning and Constraint Satisfaction.
Proceedings of the Technologies for E-Services, Third International Workshop, 2002

Updating Contexts.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Distributed Description Logics: First results.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

Towards an Economy-Based Optimisation of File Access and Replication on a Data Grid.
Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

Multicontext Logic for Semigroups of Contexts.
Proceedings of the Artificial Intelligence, 2002

2001
Toward an architecture for quantum programming
CoRR, 2001

Extending Multi-agent Cooperation by Overhearing.
Proceedings of the Cooperative Information Systems, 9th International Conference, 2001

Two Formalizations of Context: A Comparison.
Proceedings of the Modeling and Using Context, 2001

Ontological Overhearing.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

2000
Updating Mental States from Communication.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Updating mental states from informative communication.
Proceedings of the Fourth International Conference on Autonomous Agents, 2000

Using Wrapper Agents to Answer Queries in Distributed Information Systems.
Proceedings of the Advances in Information Systems, First International Conference, 2000

1999
Formal specification of beliefs in multi-agent systems.
Int. J. Intell. Syst., 1999

A Context-Based Logic for Distributed Knowledge Representation and Reasoning.
Proceedings of the Modeling and Using Context, 1999

1998
Model Checking Multiagent Systems.
J. Log. Comput., 1998

Multiagent Systems Verification via Model Checking.
Proceedings of the 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, 1998

A Model Checking Algorithm for Multiagent Systems.
Proceedings of the Intelligent Agents V, 1998

Information Integration for Electronic Commerce.
Proceedings of the Agent Mediated Electronic Commerce, 1998

Model Theoretic Semantics for Information Integration.
Proceedings of the Artificial Intelligence: Methodology, 1998

1996
Mechanizing Multi-Agent Reasoning with Belief Contexts.
Proceedings of the Practical Reasoning, 1996

Formal Specification of Beliefs in Multi-Agent Systems.
Proceedings of the Intelligent Agents III, 1996

1995
Agents as Reasoners, Observers, or Arbitrary Believers.
Proceedings of the First International Conference on Multiagent Systems, 1995

Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance.
Proceedings of the First International Conference on Multiagent Systems, 1995

Agents as Reasoners, Observers or Believers.
Proceedings of the Topics in Artificial Intelligence, 1995

1994
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics.
Artif. Intell., 1994

Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study.
Proceedings of the Intelligent Agents, 1994

1993
Non-Omniscient Belief as Context-Based Resoning.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Multilanguage hierarchical logics (or: how we can do without modal logics).
Proceedings of the CNKBS'92, 1992

1991
Mulitlanguage First Order Theories of Propositional Attitudes.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991


  Loading...