Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540649939, 9783540497936

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Belief reconstruction in cooperative dialogues

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0057450 ◽

1998 ◽

pp. 254-266 ◽

Cited By ~ 2

Author(s):

Luis Fariñas del Cerro ◽

Andreas Herzig ◽

Dominique Longin ◽

Omar Rifi

Download Full-text

Multicontext systems with importing contexts

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0057446 ◽

1998 ◽

pp. 209-220 ◽

Cited By ~ 1

Author(s):

Christo Dichev

Download Full-text

Modelling uncertainty with kripke's semantics

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0057440 ◽

1998 ◽

pp. 129-140

Author(s):

Veselka Boeva ◽

Elena Tsiporkova ◽

Bernard De Baets

Keyword(s):

Modelling Uncertainty

Download Full-text

Modal reasoning and rough set theory

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0057455 ◽

1998 ◽

pp. 317-330 ◽

Cited By ~ 1

Author(s):

Churn-Jung Liau

Keyword(s):

Set Theory ◽

Rough Set ◽

Rough Set Theory ◽

Modal Reasoning

Download Full-text

An agent system for intelligent situation assessment

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0057467 ◽

1998 ◽

pp. 466-474 ◽

Cited By ~ 2

Author(s):

Qiang Yang ◽

Irène Abi-Zeid ◽

Luc Lamontagne

Keyword(s):

Situation Assessment ◽

Agent System

Download Full-text

A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0057462 ◽

1998 ◽

pp. 403-416

Author(s):

Igor Stéphan

Keyword(s):

Logic Programming ◽

Programming Language ◽

Quantifier Elimination ◽

Elimination Method ◽

Logic Programming Language ◽

Abstract Logic

Download Full-text

Constructing translations between individual vocabularies in multi-agent systems

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0057449 ◽

1998 ◽

pp. 240-253 ◽

Cited By ~ 1

Author(s):

Rogier M. van Eijk ◽

Frank S. de Boer ◽

Wiebe van der Hoek ◽

John-Jules Ch. Meyer

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

Knowledge granularity and action selection

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0057468 ◽

1998 ◽

pp. 475-488 ◽

Cited By ~ 2

Author(s):

Yiming Ye ◽

John K. Tsotsos

Keyword(s):

Action Selection ◽

Knowledge Granularity

Download Full-text

A new approach to linguistic negation of nuanced information in knowledge-based systems

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0057459 ◽

1998 ◽

pp. 363-376 ◽

Cited By ~ 3

Author(s):

Daniel Pacholczyk

Keyword(s):

Knowledge Based Systems ◽

New Approach ◽

Knowledge Based

Download Full-text

Constraint solving in Logic Programming and in Automated Deduction: A comparison

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0057432 ◽

1998 ◽

pp. 28-38 ◽

Cited By ~ 1

Author(s):

Alessandro Armando ◽

Erica Melis ◽

Silvio Ranise

Keyword(s):

Logic Programming ◽

Automated Deduction ◽

Constraint Solving

Download Full-text

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Belief reconstruction in cooperative dialogues

Multicontext systems with importing contexts

Modelling uncertainty with kripke's semantics

Modal reasoning and rough set theory

An agent system for intelligent situation assessment

A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming

Constructing translations between individual vocabularies in multi-agent systems

Knowledge granularity and action selection

A new approach to linguistic negation of nuanced information in knowledge-based systems

Constraint solving in Logic Programming and in Automated Deduction: A comparison

Artificial Intelligence: Methodology, Systems, and Applications - Lecture Notes in Computer Science
Latest Publications