Logic and Artificial Intelligence for Multi-Agent Systems

Authors:
Marie Duží;Daniela Ďuráková;Pavel Děrgel;Petr Gajdoš;Jaroslav Müller
Affiliations:
VSB-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic, http://labis.vsb.cz/;VSB-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic, http://labis.vsb.cz/;VSB-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic, http://labis.vsb.cz/;VSB-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic, http://labis.vsb.cz/;VSB-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic, http://labis.vsb.cz/
Venue:
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Year:
2007

Citing 4
Cited 4

A Triadic Approach to Formal Concept Analysis

ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
How Triadic Diagrams Represent Conceptual Structures

ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Powerset Trilattices

ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Web Ontology Languages: theory and practice --will they ever meet?

Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII

Multi-Criterion Search from the Semantic Point of View(Comparing TIL and Description Logic)

Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Concepts and Ontologies

Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Agents' reasoning using TIL-Script and Prolog

Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Knowledge Modeling, Management and Utilization towards Next Generation Web

Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI

Quantified Score

Hi-index	0.00

Visualization

Abstract

The project Logic and Artificial Intelligence for Multi-Agent Systems is briefly described and its structure is specified. First we introduce the underlying logical framework---the Transparent Intensional Logic (TIL). Then we provide a description of particular problem areas, viz. knowledge representation including geographical data, languages apt for agents communication, and process management. Finally, future research and trends are specified.