2025
Linked Data on Geo-annotated Events and Use Cases for the Resilience of Ukraine.
CoRR, January, 2025
2024
KSDKG: construction and application of knowledge graph for kidney stone disease based on biomedical literature and public databases.
Health Inf. Sci. Syst., December, 2024
Tree hole rescue: an AI approach for suicide risk detection and online suicide intervention.
Health Inf. Sci. Syst., December, 2024
Mining literature and pathway data to explore the relations of ketamine with neurotransmitters and gut microbiota using a knowledge-graph.
Bioinform., January, 2024
A RAG Approach for Generating Competency Questions in Ontology Engineering.
CoRR, 2024
Exploring Relation between Non-suicidal Self-injury Behaviors and Problems of Emotion Mal-regulation with Knowledge Graph Approach.
Proceedings of the 2024 5th International Symposium on Artificial Intelligence for Medicine Science, 2024
Analysis of the Relationship between Liver Diseases and Enteric Microorganisms by Knowledge Graph.
Proceedings of the 2024 5th International Symposium on Artificial Intelligence for Medicine Science, 2024
A Systematic Review of the Impact of Family Relations on Postpartum Depression by Using Semantic Analysis Approach.
Proceedings of the 2024 5th International Symposium on Artificial Intelligence for Medicine Science, 2024
A systematic review of the literature on depression and childhood trauma: a knowledge graph analysis approach.
Proceedings of the 2024 5th International Symposium on Artificial Intelligence for Medicine Science, 2024
Non-suicidal Self Injury Behaviors and Dissociated Disorder: A Systematic Review.
Proceedings of the 2024 5th International Symposium on Artificial Intelligence for Medicine Science, 2024
ElderQA-GPT: A Large Language Model for Online Q&A on Geriatric Diseases Based on BGE Semantic Vector Knowledge Base and LangChain Architecture.
Proceedings of the 2024 5th International Symposium on Artificial Intelligence for Medicine Science, 2024
Knowledge Modelling, Strategy Designing, and Agent Engineering for Reconnaissance Blind Chess.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Enhancing Scholarly Paper Recommendation by Modelling Diversity of Research Interests.
Proceedings of the Recent Challenges in Intelligent Information and Database Systems, 2024
2023
ADHD-KG: a knowledge graph of attention deficit hyperactivity disorder.
Health Inf. Sci. Syst., December, 2023
Food4healthKG: Knowledge graphs for food recommendations based on gut microbiota and mental health.
Artif. Intell. Medicine, November, 2023
Consistent 3D Hand Reconstruction in Video via Self-Supervised Learning.
IEEE Trans. Pattern Anal. Mach. Intell., August, 2023
Analysis of the mechanism of antipsychotics induced abnormal ECG using Medical Ontologies and Medical Knowledge Graphs.
Proceedings of the 2023 4th International Symposium on Artificial Intelligence for Medicine Science, 2023
A Systematic Review on Relations between Non-suicidal Self-injury and Self-esteem by Using Semantic Analysis Approach.
Proceedings of the 2023 4th International Symposium on Artificial Intelligence for Medicine Science, 2023
Named Entity Recognition for Long COVID Biomedical Literature by Using Bert-BiLSTM-IDCNN-ATT-CRF Approach.
Proceedings of the 2023 4th International Symposium on Artificial Intelligence for Medicine Science, 2023
A Systematic Review of the Effects of Antipsychotics on Anhedonia by Using Knowledge Graph Approach.
Proceedings of the 2023 4th International Symposium on Artificial Intelligence for Medicine Science, 2023
PHRIT: Parametric Hand Representation with Implicit Template.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023
Understanding the Influence of Multiple Factors on the Spread of Omicron Variant Strains via the Multivariate Regression Method.
Proceedings of the Health Information Science - 12th International Conference, 2023
Home Self-medication Question-Answering System for the Elderly Based on Seq2Seq Model and Knowledge Graph Technology.
Proceedings of the Health Information Science - 12th International Conference, 2023
Exploring Etiology of Nonsuicidal Self-injury by Using Knowledge Graph Approach.
Proceedings of the Health Information Science - 12th International Conference, 2023
Analysis on Association Between Vascular Risk Factors and Lifestyle Factors with the Risk of Dementia/Alzheimer's Disease Using Medical Ontologies.
Proceedings of the Health Information Science - 12th International Conference, 2023
A Question and Answering System for Mental Health of the Elderly Based on BiLSTM-CRF Model and Knowledge Graph.
Proceedings of the Health Information Science - 12th International Conference, 2023
2022
Guest editorial: WWWJ special issue of the 21th international Conference on Web Information Systems Engineering (WISE 2020).
World Wide Web, 2022
Disaster Prediction Knowledge Graph Based on Multi-Source Spatio-Temporal Information.
Remote. Sens., 2022
Exploring relationship between emotion and probiotics with knowledge graphs.
Health Inf. Sci. Syst., 2022
Analysis of sentiment changes in online messages of depression patients before and during the COVID-19 epidemic based on BERT+BiLSTM.
Health Inf. Sci. Syst., 2022
Recommending scientific datasets using author networks in ensemble methods.
Data Sci., 2022
A Semantic Web Technology Index.
CoRR, 2022
Scientific Item Recommendation Using a Citation Network.
Proceedings of the Knowledge Science, Engineering and Management, 2022
Research on the Construction of Psychological Crisis Intervention Strategy Service System.
Proceedings of the Health Information Science - 11th International Conference, 2022
Food Recommendation for Mental Health by Using Knowledge Graph Approach.
Proceedings of the Health Information Science - 11th International Conference, 2022
2021
Guest Editorial: Special issue on "Artificial Intelligence in Health Informatics".
Health Inf. Sci. Syst., 2021
Predicting the relationships between gut microbiota and mental disorders with knowledge graphs.
Health Inf. Sci. Syst., 2021
Knowledge Graphs of Kawasaki Disease.
Health Inf. Sci. Syst., 2021
KGBReF: A Knowledge Graph based Biomedical Relation Extraction Framework.
Proceedings of the ISAIMS 2021: 2nd International Symposium on Artificial Intelligence for Medicine Sciences, Beijing, China, October 29, 2021
Analysis of needs and availability of information on depression based on the ZHIHU Q&A community.
Proceedings of the ISAIMS 2021: 2nd International Symposium on Artificial Intelligence for Medicine Sciences, Beijing, China, October 29, 2021
Relationships Discovery between Nutritional Disorders and Gut Microbiota with Knowledge Graphs.
Proceedings of the ISAIMS 2021: 2nd International Symposium on Artificial Intelligence for Medicine Sciences, Beijing, China, October 29, 2021
Analysis of emotional characteristics of Weibo "tree hole" users with different suicide risk.
,
,
,
,
,
,
,
,
,
,
Proceedings of the ISAIMS 2021: 2nd International Symposium on Artificial Intelligence for Medicine Sciences, Beijing, China, October 29, 2021
Mental Health Question and Answering System Based on Bert Model and Knowledge Graph Technology.
Proceedings of the ISAIMS 2021: 2nd International Symposium on Artificial Intelligence for Medicine Sciences, Beijing, China, October 29, 2021
Research on Suicide Identification Method Based on Microblog "Tree Hole" Crowd.
Proceedings of the Health Information Science - 10th International Conference, 2021
Research on the Fluctuation Characteristics of Social Media Message Sentiment with Time Before and During the COVID-19 Epidemic.
Proceedings of the Health Information Science - 10th International Conference, 2021
Biomedical Dataset Recommendation.
Proceedings of the 10th International Conference on Data Science, 2021
2020
WCP-RNN: a novel RNN-based approach for Bio-NER in Chinese EMRs.
J. Supercomput., 2020
Evaluating Similarity Measures for Dataset Search.
Proceedings of the Web Information Systems Engineering - WISE 2020, 2020
Ontology-based Methods for Classifying Scientific Datasets into Research Domains: Much Harder than Expected.
Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020
Ontology-Based Semantic Similarity Approach for Biomedical Dataset Retrieval.
Proceedings of the Health Information Science - 9th International Conference, 2020
Research on the Behavior Pattern of Microblog "Tree Hole" Users with Their Temporal Characteristics.
Proceedings of the Health Information Science - 9th International Conference, 2020
2019
Document recommendation based on interests of co-authors for brain science.
Health Inf. Sci. Syst., 2019
A lightweight privacy and integrity preserving range query scheme for mobile cloud computing.
Comput. Secur., 2019
Classification of Skin Pigmented Lesions Based on Deep Residual Network.
Proceedings of the Health Information Science - 8th International Conference, 2019
Evidence-Based Analysis of Neurotransmitter Modulation by Gut Microbiota.
Proceedings of the Health Information Science - 8th International Conference, 2019
Semantic Processing of Personality Description for Depression Patients.
Proceedings of the Health Information Science - 8th International Conference, 2019
Time Recognition of Chinese Electronic Medical Record of Depression Based on Conditional Random Field.
Proceedings of the Brain Informatics - 12th International Conference, 2019
2018
A Secure and Efficient Privacy-Preserving Range Query Scheme in Location-Based Services.
IEEE Access, 2018
Making Semantic Annotation on Patient Data of Depression.
Proceedings of the 2nd International Conference on Medical and Health Informatics, 2018
Extraction of Semantic Relations from Medical Literature Based on Semantic Predicates and SVM.
Proceedings of the Health Information Science - 7th International Conference, 2018
Text Classification of Micro-blog's "Tree Hole" Based on Convolutional Neural Network.
Proceedings of the 2018 International Conference on Algorithms, 2018
2017
An Ontology Model for Narrative Image Annotation in the Field of Cultural Heritage.
Proceedings of the Second Workshop on Humanities in the Semantic Web (WHiSe II) co-located with 16th International Semantic Web Conference (ISWC 2017), 2017
A Semantically-Enabled System for Inflammatory Bowel Diseases.
Proceedings of the Health Information Science - 6th International Conference, 2017
Constructing Knowledge Graphs of Depression.
Proceedings of the Health Information Science - 6th International Conference, 2017
Generation of Semantic Patient Data for Depression.
Proceedings of the Health Information Science - 6th International Conference, 2017
Using Knowledge Graph for Analysis of Neglected Influencing Factors of Statin-Induced Myopathy.
Proceedings of the Brain Informatics - International Conference, 2017
Knowledge Graphs in the Quality Use of Antidepressants: A Perspective from Clinical Research Applications.
Proceedings of the Brain Informatics - International Conference, 2017
Constructing Disease-Centric Knowledge Graphs: A Case Study for Depression (short Version).
Proceedings of the Artificial Intelligence in Medicine, 2017
2016
Knowledge-Driven Paper Retrieval to Support Updating of Clinical Guidelines - A Use Case on PubMed.
Proceedings of the Knowledge Representation for Health Care, 2016
Detecting New Evidences for Evidence-Based Medical Guidelines with Journal Filtering.
Proceedings of the Knowledge Representation for Health Care, 2016
Knowledge Services Using Rule-Based Formalization for Eligibility Criteria of Clinical Trials.
Proceedings of the Health Information Science - 5th International Conference, 2016
A Task-based Comparison of Linguistic and Semantic Document Retrieval Methods in the Medical Domain.
Proceedings of the Joint Proceedings of the 2th Workshop on Emotions, 2016
A Topic-centric Approach to Detecting New Evidences for Evidence-based Medical Guidelines.
Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016
Suitable Route Recommendation Inspired by Cognition.
Proceedings of the Wisdom Web of Things, 2016
A Monitoring System for the Safety of Building Structure Based on W2T Methodology.
Proceedings of the Wisdom Web of Things, 2016
WaaS - Wisdom as a Service.
Proceedings of the Wisdom Web of Things, 2016
2015
Cognition-inspired route evaluation using mobile phone data.
Nat. Comput., 2015
An Intelligent Monitoring System for the Safety of Building Structure under the W2T Framework.
Int. J. Distributed Sens. Networks, 2015
A Smart Hospital Information System for Mental Disorders.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015
Automatic Generation of Semantic Data for Event-Related Medical Guidelines.
Proceedings of the Semantic Technology - 5th Joint International Conference, 2015
Finding Evidence for Updates in Medical Guidelines.
Proceedings of the HEALTHINF 2015, 2015
Identifying Evidence Quality for Updating Evidence-Based Medical Guidelines.
Proceedings of the Knowledge Representation for Health Care, 2015
Detecting New Evidence for Evidence-Based Guidelines Using a Semantic Distance Method.
Proceedings of the Artificial Intelligence in Medicine, 2015
2014
Measuring effectiveness of ontology debugging systems.
Knowl. Based Syst., 2014
WaaS: Wisdom as a Service.
IEEE Intell. Syst., 2014
Semantic Representation of Evidence-Based Clinical Guidelines.
Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014
Conflict Resolution in Partially Ordered OWL DL Ontologies.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Evidence-Based Treatment of Medical Guideline.
Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014
Evidence-Based Clinical Guidelines in SemanticCT.
Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014
Event-Oriented Semantic Data Generation for Medical Guidelines.
Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014
Constructing Provenance Cubes Based on Semantic Neuroimaging Data Provenances.
Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014
Web-KR 2014: The 5th International Workshop on Web-scale Knowledge Representation, Retrieval and Reasoning.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014
Feasibility Estimation for Clinical Trials.
Proceedings of the HEALTHINF 2014, 2014
Detecting Stay Areas from a User's Mobile Phone Data for Urban Computing.
Proceedings of the Active Media Technology - 10th International Conference, 2014
2013
Semantic and Qualitative Spatial Reasoning Based Road Network Modeling.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013
Design and Implementation of Visualization Tools for Advanced Patient Data Generator.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013
Using Semantic Technology for Automatic Verification of Road Signs.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013
Using Semantic Techology for Consistency Checking of Road Signs.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013
A Semantically-Enabled System for Road Sign Management.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013
Interface Design of Semantic System for Road Sign Management.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013
Semantic Approach for Rational Use of Antibiotics: A Perspective from Clinical Research.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013
Generation of Semantic Data from Guidelines for Rational Use of Antibiotics.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013
A System to Generate Mobile Data Based on Real User Behavior.
Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013
Pharmaceutical Semantic Database Query Mechanism Based on KeyWords.
Proceedings of the Linked Data and Knowledge Graph, 2013
Approach for Automatic Construction of Ontology Based on Medication Guide.
Proceedings of the Linked Data and Knowledge Graph, 2013
Integration of Pattern-Based Debugging Approach into RaDON.
Proceedings of the Linked Data and Knowledge Graph, 2013
Web-KR 2013: the 4th international workshop on web-scale knowledge representation, retrieval and reasoning.
Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013
Developing a Brain Informatics Provenance Model.
Proceedings of the Brain and Health Informatics - International Conference, 2013
Semantically Modeling Mobile Phone Data for Urban Computing.
Proceedings of the Active Media Technology - 9th International Conference, 2013
SemanticCT: A Semantically-Enabled System for Clinical Trials.
Proceedings of the Process Support and Knowledge Representation in Health Care, 2013
Rule-Based Formalization of Eligibility Criteria for Clinical Trials.
Proceedings of the Artificial Intelligence in Medicine, 2013
Knowledge-Based Patient Data Generation.
Proceedings of the Process Support and Knowledge Representation in Health Care, 2013
2012
Paraconsistent query answering over DL-Lite ontologies.
Web Intell. Agent Syst., 2012
Preface to the Advance Reasoning Technology for eScience (ART-2012) Workshop.
Proceedings of the Web Information Systems Engineering - WISE 2011 and 2012 Workshops, 2012
Making Web-Scale Semantic Reasoning More Service-Oriented: The Large Knowledge Collider.
Proceedings of the Web Information Systems Engineering - WISE 2011 and 2012 Workshops, 2012
Study of Ontology Debugging Approaches Based on the Criterion Set BLUEI<sup>2</sup>CI.
Proceedings of the Semantic Web and Web Science, 2012
The 2012 international workshop on web-scale knowledge representation, retrieval, and reasoning.
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012
An Academic Search and Analysis Prototype for Specific Domain.
Proceedings of the Web Technologies and Applications, 2012
Semantic Precision and Recall for Evaluating Incoherent Ontology Mappings.
Proceedings of the Active Media Technology - 8th International Conference, 2012
2011
User-centric query refinement and processing using granularity-based strategies.
Knowl. Inf. Syst., 2011
Research interests: their dynamics, structures and applications in unifying search and reasoning.
J. Intell. Inf. Syst., 2011
Contrastive Reasoning with Inconsistent Ontologies.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence, 2011
A Matrix Approach to Implicit Relationship Finding in Large-Scale Knowledge Bases.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011
Interleaving Reasoning and Selection with Knowledge Summarization.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011
Interest Logic and Its Application on the Web.
Proceedings of the Knowledge Science, Engineering and Management, 2011
Reasoning with Noisy Semantic Data.
Proceedings of the Semanic Web: Research and Applications, 2011
An Efficient Approach to Debugging Ontologies Based on Patterns.
Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011
A Method of Contrastive Reasoning with Inconsistent Ontologies.
Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011
2010
Guest Editors' Introduction.
Int. J. Semantic Comput., 2010
Toward Seoul Road Sign Management on LarKC Platform.
Proceedings of the ISWC 2010 Posters & Demonstrations Track: Collected Abstracts, 2010
Towards the evaluation of the LarKC Reasoner Plug-ins.
Proceedings of the International Workshop on Evaluation of Semantic Technologies (IWEST 2010), 2010
User Interests: Definition, Vocabulary, and Utilization in Unifying Search and Reasoning.
Proceedings of the Active Media Technology, 6th International Conference, 2010
Social Relation Based Search Refinement: Let Your Friends Help You!
Proceedings of the Active Media Technology, 6th International Conference, 2010
2009
Measuring Inconsistency in DL-Lite Ontologies.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009
A Distance-Based Operator to Revising Ontologies in DL SHOQ.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009
Learning Relations by Path Finding and Simultaneous Covering.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009
Unifying Web-Scale Search and Reasoning from the Viewpoint of Granularity.
Proceedings of the Active Media Technology, 5th International Conference, 2009
Extensions to the Relational Paths Based Learning Approach RPBL.
Proceedings of the First Asian Conference on Intelligent Information and Database Systems, 2009
Proceedings of the Semantic Knowledge Management, 2009
2008
Dynamic Aspects of OPJK Legal Ontology.
Proceedings of the Computable Models of the Law, Languages, Dialogues, Games, Ontologies, 2008
Theory Pract. Log. Program., 2008
Analyzing Distribution and Evolution of Research Interests by Term Extraction and Ontology Learning.
Proceedings of the Ninth International Conference on Web-Age Information Management, 2008
A Kernel Revision Operator for Terminologies - Algorithms and Evaluation.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
Using Semantic Distances for Reasoning with Inconsistent Ontologies.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008
Towards LarKC: A Platform for Web-Scale Reasoning.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008
A Kernel Revision Operator for Terminologies.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
An Integrated Approach for Automatic Construction of Bilingual Chinese-English WordNet.
Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008
2007
Debugging Incoherent Terminologies.
J. Autom. Reason., 2007
2006
MultimediaN E-Culture Demonstrator.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006
Inconsistencies, Negations and Changes in Ontologies.
Proceedings of the Proceedings, 2006
2005
Reasoning with Multi-version Ontologies: A Temporal Logic Approach.
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005
A Framework for Handling Inconsistency in Changing Ontologies.
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005
Reasoning with Inconsistent Ontologies.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
2004
STEP: a Scripting Language for Embodied Agents.
Proceedings of the Life-like characters - tools, affective functions, and applications., 2004
ECA Perspectives - Requirements, Applications, Technology.
Proceedings of the Evaluating Embodied Conversational Agents, 14.03. - 19.03.2004, 2004
2003
Implementation of a scripting language for VRML/X3D-based embodied agents.
Proceedings of the Proceeding of the Eighth International Conference on 3D Web Technology, 2003
Automating Feature-Oriented Domain Analysis.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003
Reusable Gestures for Interactive Web Agents.
Proceedings of the Intelligent Agents, 4th International Workshop, 2003
"Is It Within My Reach?" - An Agents Perspective.
Proceedings of the Intelligent Agents, 4th International Workshop, 2003
Interactive Agents Learning Their Environment.
Proceedings of the Intelligent Agents, 4th International Workshop, 2003
Gestures for Embodied Agents with Logic Programming.
Proceedings of the Recent Advances in Constraints, 2003
XSTEP: A Markup Language for Embodied Agents.
Proceedings of the 16th International Conference on Computer Animation and Social Agents, 2003
2002
3D agent-based virtual communities.
Proceedings of the Seventh International Conference on 3D Web Technology, 2002
Trust and Commitment in Dynamic Logic.
Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002
2001
The BOID architecture: conflicts between beliefs, obligations, intentions and desires.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001
2000
A Taxonomy of Web Agents.
Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000
1999
Seeing is believing: A common sense theory of the adoption of perception-based beliefs.
Artif. Intell. Eng. Des. Anal. Manuf., 1999
1998
Proceedings of the Applications of Uncertainty Formalisms, 1998
1997
Dynamic Belief Hierarchies.
Proceedings of the Formal Models of Agents, 1997
1996
A case study in logical deconstruction: Formalizing J.D. Thompson's <i>Organizations in Action</i> in a multi-agent action logic.
Comput. Math. Organ. Theory, 1996
ALX, an Action Logic for Agents with Bounded Rationality.
Artif. Intell., 1996
Dynamic Goal Hierarchies.
Proceedings of the Intelligent Agent Systems, 1996
1994
Information Acquisition from Multi-agent Resources.
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994
1993
A survey of the rule language RL/1.
J. Comput. Sci. Technol., 1993
1990
Awareness, Negation and Logical Omniscience.
Proceedings of the Logics in AI, European Workshop, 1990
Logics for Belief Dependence.
Proceedings of the Computer Science Logic, 4th Workshop, 1990