Titlebook: MICAI 2005: Advances in Artificial Intelligence; 4th Mexican Internat Alexander Gelbukh,álvaro Albornoz,Hugo Terashima-M Conference proceed

偏離

卵石

EventNet: Inferring Temporal Relations Between Commonsense Eventsral links mined from the Openmind Commonsense Knowledge Base. It enables applications to deduce "obvious" (to people) temporal relations between commonly occurring events, for example: First, you wake up, then you can leave the house in the morning. The temporal relation might be one of cause and ef

Tractable

弓箭

A Three-Level Approach to Ontology Mergingin areas in Computer Science interested in this topic. Federated Databases and Semantic Web are some of them. In this paper we introduce a three level approach that provides a semi-automatic method to ontology merging. It performs some tasks automatically and guides the user in performing other task

vector

貞潔

Modelling Power and Trust for Knowledge Distribution: An Argumentative Approachll as by implicit relations like .. Making decisions about whether to deliver or not a specific piece of information to users on the basis of a rationally justified procedure under potentially conflicting policies for power and trust relations is indeed a challenging problem. In this paper we model

musicologist

harangue

Deductive Systems’ Representation and an Incompleteness Result in the Situation Calculusuages with induction that allows the specification of evolving worlds and reasoning about them and has found a number of applications in AI. A method for the representation of formulae and of proofs is presented in which the induction axiom on states is used to represent structural induction on form

運(yùn)動(dòng)的我

大吃大喝

A Syntactical Approach to Belief Updateantically defined an update operator that satisfies these postulates. In order to calculate the resulting belief base all models of the relevant belief bases must be known. This paper proposes to use the . and . normal forms to represent these bases. Using this representation, a syntactical and comp