Fausto Giunchiglia

According to our database1, Fausto Giunchiglia
  • authored at least 221 papers between 1983 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Human-Like Context Sensing for Robot Surveillance.
Int. J. Semantic Computing, 2018

Mobile social media usage and academic performance.
Computers in Human Behavior, 2018

2017
Language and domain aware lightweight ontology matching.
J. Web Sem., 2017

Mobile Social Media and Academic Performance.
Proceedings of the Social Informatics, 2017

TrentoTeam at SemEval-2017 Task 3: An application of Grice Maxims in Ranking Community Question Answers.
Proceedings of the 11th International Workshop on Semantic Evaluation, 2017

Finding Errors in a Chinese Lexico-Semantic Resource Using GWAP.
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

SemUI: A Knowledge Driven Visualization of Diversified Data.
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

Human-Like Context Modelling for Robot Surveillance.
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

ATOM: Ontology Aware Transportation Model.
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

Personal context modelling and annotation.
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

Understanding and Exploiting Language Diversity.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Teleologies: Objects, Actions and Functions.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

2016
Search and Analytics Challenges in Digital Libraries and Archives.
J. Data and Information Quality, 2016

GeoEtypes: Harmonizing Diversity in Geospatial Data (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Modeling Recipes for Online Search.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Concepts as (Recognition) Abilities.
Proceedings of the Formal Ontology in Information Systems, 2016

2015
SKO Types: an entity-based scientific knowledge objects metadata schema.
J. Knowledge Management, 2015

Named Entity Recognition for Mongolian Language.
Proceedings of the Text, Speech, and Dialogue - 18th International Conference, 2015

SmartSociety - A Platform for Collaborative People-Machine Computation.
Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

A multilingual ontology matcher.
Proceedings of the 10th International Workshop on Ontology Matching collocated with the 14th International Semantic Web Conference (ISWC 2015), 2015

Ontology-Based Obfuscation and Anonymisation for Privacy - A Case Study on Healthcare.
Proceedings of the Privacy and Identity Management. Time for a Revolution?, 2015

Position on Interoperability Everywhere Under IoT-ARM.
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

A Practical Framework for RelBAC Implementation.
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Entity-Centric Visualization of Open Data.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

High Quality Photo Collection via Gamification.
Proceedings of the Second International Workshop on Gamification for Information Retrieval co-located with the 37th European Conference on Information Retrieval (ECIR 2015), 2015

Distributed directory system: A healthcare use case for rural areas.
Proceedings of the 2015 Latin American Computing Conference, 2015

Towards semantic social networks.
Proceedings of the 2015 Latin American Computing Conference, 2015

2014
Privacy for Peer Profiling in Collective Adaptive Systems.
Proceedings of the Privacy and Identity Management for the Future Internet in the Age of Globalisation, 2014

Recognizing hospital care activities with a coat pocket worn smartphone.
Proceedings of the 6th International Conference on Mobile Computing, 2014

A Hybrid Machine-Crowd Approach to Photo Retrieval Result Diversification.
Proceedings of the MultiMedia Modeling - 20th Anniversary International Conference, 2014

An Interactive Platform for Multilingual Linguistic Resource Enrichment.
Proceedings of the KEOD 2014, 2014

Multi-device activity logging.
Proceedings of the 2014 ACM Conference on Ubiquitous Computing, 2014

From ER Models to the Entity Model.
Proceedings of the Knowledge Engineering and Knowledge Management, 2014

2013
Introduction to the special section on internet-scale human problem solving.
TiiS, 2013

A Distributed Directory System.
Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, 2013

Social events and social ties.
Proceedings of the International Conference on Multimedia Retrieval, 2013

A Distributed Entity Directory.
Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

A Semantic-Enabled Engine for Mobile Social Networks.
Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

The open platform for personal lifelogging: the eLifeLog architecture.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2012
Domains and context: First steps towards managing diversity in knowledge.
J. Web Sem., 2012

S-Match: An open source framework for matching lightweight ontologies.
Semantic Web, 2012

A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology.
J. Data Semantics, 2012

Computing minimal mappings between lightweight ontologies.
Int. J. on Digital Libraries, 2012

Introduction to the Special Issue on Semantic Web Data Management.
Inf. Syst., 2012


Life logging practice for human behavior modeling.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Personal photo indexing.
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012

Indexing media by personal events.
Proceedings of the International Conference on Multimedia Retrieval, 2012

(Unseen) event recognition via semantic compositionality.
Proceedings of the 2012 IEEE Conference on Computer Vision and Pattern Recognition, 2012

An entity-based platform for the integration of social and scientific services.
Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012

Representativeness and Diversity in Photos via Crowd-Sourced Media Analysis.
Proceedings of the Adaptive Multimedia Retrieval: Semantics, 2012

2011
Semantic flooding - Semantic search across distributed lightweight ontologies.
World Wide Web, 2011

Access Control via Lightweight Ontologies.
Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

A Facet-Based Methodology for Geo-Spatial Modeling.
Proceedings of the GeoSpatial Semantics - 4th International Conference, 2011

A Faceted Ontology for a Semantic Geo-Catalogue.
Proceedings of the Semanic Web: Research and Applications, 2011

2010
Relation-Based Access Control: An Access Control Model for Context-Aware Computing Environment.
Wireless Personal Communications, 2010

Save Up to 99% of Your Time in Mapping Validation.
Proceedings of the On the Move to Meaningful Internet Systems, 2010

Reasoning about Relation Based Access Control.
Proceedings of the Fourth International Conference on Network and System Security, 2010

Events as media and knowlege aggregators.
Proceedings of the 2nd ACM international workshop on Events in multimedia, 2010

Semantic flooding: Search over semantic links.
Proceedings of the Workshops Proceedings of the 26th International Conference on Data Engineering, 2010

Scientific knowledge object patterns.
Proceedings of the European Conference on Pattern Languages of Programs, 2010

GeoWordNet: A Resource for Geo-spatial Applications.
Proceedings of the Semantic Web: Research and Applications, 2010

Lightweight Parsing of Classifications into Lightweight Ontologies.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2010

2009

Lightweight Ontologies.
Proceedings of the Encyclopedia of Database Systems, 2009

Semantic Matching.
Proceedings of the Encyclopedia of Database Systems, 2009

A large dataset for the evaluation of ontology matching.
Knowledge Eng. Review, 2009

Service Integration through Structure-Preserving Semantic Matching.
J. Cases on Inf. Techn., 2009

Computing Minimal Mappings.
Proceedings of the 4th International Workshop on Ontology Matching (OM-2009) collocated with the 8th International Semantic Web Conference (ISWC-2009) Chantilly, 2009

Concept Search.
Proceedings of the Semantic Web: Research and Applications, 2009

Using Description Logics in Relation Based Access Control.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Faceted Lightweight Ontologies.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Introduction.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

Semantic Matching with S-Match.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

The Semantic Web Languages.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008
ScienceTreks: an autonomous digital library system.
Online Information Review, 2008

RelBAC: Relation Based Access Control.
Proceedings of the Fourth International Conference on Semantics, Knowledge and Grid, 2008

Approximate Structure-Preserving Semantic Matching.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

ODBASE 2008 PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Towards Knowledge in the Cloud.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Concept Search: Semantics Enabled Syntactic Search.
Proceedings of the Workshop on Semantic Search (SemSearch 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008

Approximate structure preserving semantic matching.
Proceedings of the ECAI 2008, 2008

2007
Publish and perish: why the current publication and review model is killing research and wasting your money.
Ubiquity, 2007

Semantic Matching: Algorithms and Implementation.
J. Data Semantics, 2007

Encoding Classifications into Lightweight Ontologies.
J. Data Semantics, 2007

Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies.
Proceedings of the Semantic Web, 2007

From Web Directories to Ontologies: Natural Language Processing Challenges.
Proceedings of the Semantic Web, 2007

Structure Preserving Semantic Matching.
Proceedings of the 2nd International Workshop on Ontology Matching (OM-2007) Collocated with the 6th International Semantic Web Conference (ISWC-2007) and the 2nd Asian Semantic Web Conference (ASWC-2007), 2007


Importing from Functional Knowledge Bases - A Preview.
Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, 2007

Formalizing the Get-Specific Document Classification Algorithm.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2007

2006
Managing Diversity in Knowledge.
Proceedings of the Advances in Applied Artificial Intelligence, 2006

Encoding Classifications into Lightweight Ontologies.
Proceedings of the Semantic Web: Research and Applications, 2006

Discovering Missing Background Knowledge in Ontology Matching.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Managing Diversity in Knowledge.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

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

2005
Introduction to the Special Volume on Reformulation.
Artif. Intell., 2005

A Large Scale Taxonomy Mapping Evaluation.
Proceedings of the Semantic Web, 2005

Towards a Distributed Architecture for Value Added Services to Digital Libraries.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Semantic Schema Matching.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources.
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

Web Explanations for Semantic Heterogeneity Discovery.
Proceedings of the Semantic Web: Research and Applications, 2005

Efficient Semantic Matching.
Proceedings of the Semantic Web: Research and Applications, 2005

SWebB: Semantic Web Browsing.
Proceedings of the Semantic Web: Research and Applications, 2005

S-Match: an algorithm and an implementation of semantic matching.
Proceedings of the Semantic Interoperability and Integration, 2005

SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
Contextualizing ontologies.
J. Web Sem., 2004

Tropos: An Agent-Oriented Software Development Methodology.
Autonomous Agents and Multi-Agent Systems, 2004

Coordinating Mobile Databases.
Proceedings of the MobiQuitous'04 Workshop on Peer-to-Peer Knowledge Management (P2PKM 2004), 2004

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

S-Match: an Algorithm and an Implementation of Semantic Matching.
Proceedings of the Semantic Web: Research and Applications, 2004

A Semantics for Abstraction.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Towards Explaining Semantic Matching.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003
Semantic matching.
Knowledge Eng. Review, 2003

A Multi-agent System for Knowledge Management based on the Implicit Culture Framework.
Proceedings of the WM 2003: Professionelles Wissesmanagement, 2003

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

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

Implicit Culture-Based Personal Agents for Knowledge Management.
Proceedings of the Agent Mediated Knowledge Management, 2003

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

SAT-Based Decision Procedures for Classical Modal Logics.
J. Autom. Reasoning, 2002

A Multi-agent System for Knowledge Management based on the Implicit Culture Framework.
Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

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

Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination.
Proceedings of the Cooperative Information Agents VI, 6th International Workshop, 2002

NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

The tropos software development methodology: processes, models and diagrams.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

The Tropos Software Development Methodology: Processes, Models and Diagrams.
Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

2001
Ideal and Real Belief about Belief.
J. Log. Comput., 2001

The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics.
J. Symb. Comput., 2001

Reasoning Theories.
J. Autom. Reasoning, 2001

Local Models Semantics, or contextual reasoning=locality+compatibility.
Artif. Intell., 2001

Special Issue of the journal Artificial Intelligence on Reformulation.
Artif. Intell., 2001

Towards an Agent Oriented Approach to Software Engineering.
Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001

Model Checking Syllabi and Student Carreers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Agent- Oriented Software Development: A Case Study.
Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Knowledge Level Software Engineering.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

Modeling Early Requirements in Tropos: A Transformation Based Approach.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

A knowledge level software engineering methodology for agent oriented programming.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000
Theorem proving in technology transfer: the user's point of view.
STTT, 2000

NUSMV: A New Symbolic Model Checker.
STTT, 2000

Verification of a safety-critical railway interlocking system with real-time constraints.
Sci. Comput. Program., 2000

SAT vs. translation based decision procedures for modal logics: a comparative evaluation.
Journal of Applied Non-Classical Logics, 2000

Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m).
Inf. Comput., 2000

Model Checking Security Protocols Using a Logic of Belief.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Composing and Controlling Search in Reasoning Theories Using Mappings.
Proceedings of the Frontiers of Combining Systems, 2000

A Logic of Belief and a Model Checking Algorithm for Security Protocols.
Proceedings of the Formal Techniques for Distributed System Development, 2000

Model Checking-Based Analysis of Multiagent Systems.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999
Specification and Integration of Theorem Provers and Computer Algebra Systems.
Fundam. Inform., 1999

The OMRS project: State of the art.
Electr. Notes Theor. Comput. Sci., 1999

The control component of open mechanized reasoning systems.
Electr. Notes Theor. Comput. Sci., 1999

Using Abstrips Abstractions - Where do We Stand?
Artif. Intell. Rev., 1999

Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning.
Artif. Intell., 1999

Planning as Model Checking.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

*SAT, KSATC, DLP and TA: a comparative analysis.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Improved Automata Generation for Linear Temporal Logic.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

NUSMV: A New Symbolic Model Verifier.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

The SAT-Based Approach for Classical Modal Logics.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998
Editorial.
J. Log. Comput., 1998

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

Formal Verification of a Railway Interlocking System using Model Checking.
Formal Asp. Comput., 1998

The OMRS project: state of the art.
Electr. Notes Theor. Comput. Sci., 1998

A Many-Sorted Natural Deduction.
Computational Intelligence, 1998

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
Proceedings of the Computer Safety, 1998

A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
Proceedings of the Computer Safety, 1998

More Evaluation of Decision Procedures for Modal Logics.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Local Models Semantics, or Contextual Reasoning = Locality + Compatibility.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints.
Proceedings of the Digest of Papers: FTCS-28, 1998

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

Specification and Integration of Theorem Provers and Computer Algebra Systems.
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1997
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.
J. Autom. Reasoning, 1997

Theories of Abstraction.
AI Commun., 1997

Planning via Model Checking: A Decision Procedure for AR.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

A New Method for Testing Decision Procedures in Modal Logics.
Proceedings of the Automated Deduction, 1997

1996
Dealing with expected and unexpected obstacles.
J. Exp. Theor. Artif. Intell., 1996

Towards provably correct system synthesis and extension.
Future Generation Comp. Syst., 1996

Program Tactics and Logic Tactics.
Ann. Math. Artif. Intell., 1996

A Metatheory of a Mechanized Object Theory.
Artif. Intell., 1996

Calculating Criticalities.
Artif. Intell., 1996

Ideal and Real Belief aobout Belief: Some Intuitions.
Proceedings of the Agents Breaking Away, 1996

A SAT-based Decision Procedure for ALC.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.
Proceedings of the Frontiers of Combining Systems, 1996

Ideal and Real Belief about Belief.
Proceedings of the Practical Reasoning, 1996

An SAT-based Decision Procedure for ALC.
Proceedings of the 1996 International Workshop on Description Logics, 1996

A New Method for Testing Decision Procedures in Modal and Terminological Logics.
Proceedings of the 1996 International Workshop on Description Logics, 1996

ABSFOL: A Proof Checker with Abstraction.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

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

A General Purpose Reasoner for Abstraction.
Proceedings of the Advances in Artificial Intelligence, 1996

Computing Abstraction Hierarchies by Numerical Simulation.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem.
Fundam. Inform., 1995

An Epistemological Science of Common Sense.
Artif. Intell., 1995

Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem.
WOCFAI, 1995

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

Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World.
Proceedings of the Intelligent Agents II, 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

Program Tactics and Logic Tactics.
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Introspective Metatheoretic Reasoning.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

Planning with Failure.
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

1993
The Inevitability of Inconsistent Abstract Spaces.
J. Autom. Reasoning, 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
Understanding Scene Descriptions by Integrating Different Sources of Knowledge.
International Journal of Man-Machine Studies, 1992

A Theory of Abstraction.
Artif. Intell., 1992

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

Tree Subsumption: Reasoning with Outlines.
ECAI, 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.
SCAI, 1991

Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Automating Meta-Theory Creation and System Extension.
Proceedings of the Trends in Artificial Intelligence, 1991

1989
FUR: Understanding functional reasoning.
Int. J. Intell. Syst., 1989

Abstract Theorem Proving.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Reflection in Constructive and Non-constructive Automated Reasoning.
META, 1988

Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas.
ECAI, 1988

1987
Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines.
Proceedings of the COMPCON'87, 1987

1984
From Descriptions to Images: What Reasoning in between?
ECAI, 1984

Natural Language driven Image Generation.
Proceedings of the 10th International Conference on Computational Linguistics and 22nd Annual Meeting of the Association for Computational Linguistics, 1984

Space Representation and Object Positioning in Natural Language Driven Image Generation.
Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984

1983
Some Basic Mechanisms for Common Sense Reasoning About Stories Environments.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983


  Loading...