Sciweavers

2291 search results - page 354 / 459
» Representational Reasoning and Verification
Sort
View
136
Voted
AMAI
2008
Springer
15 years 5 months ago
Mixed deterministic and probabilistic networks
Abstract The paper introduces mixed networks, a new graphical model framework for expressing and reasoning with probabilistic and deterministic information. The motivation to devel...
Robert Mateescu, Rina Dechter
CLEIEJ
2008
103views more  CLEIEJ 2008»
15 years 5 months ago
An Ontology-based Framework and its Application to Effective Collaboration
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
Seiji Isotani, Riichiro Mizoguchi
155
Voted
JAIR
2008
138views more  JAIR 2008»
15 years 5 months ago
Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
Ya'akov Gal, Avi Pfeffer
CORR
2007
Springer
76views Education» more  CORR 2007»
15 years 4 months ago
A Light-Based Device for Solving the Hamiltonian Path Problem
In this paper we suggest the use of light for performing useful computations. Namely, we propose a special device which uses light rays for solving the Hamiltonian path problem on ...
Mihai Oltean
CORR
2007
Springer
93views Education» more  CORR 2007»
15 years 4 months ago
Solving the Hamiltonian path problem with a light-based computer
Abstract. In this paper we suggest the use of light for performing useful computations. Namely, we propose a special computational device which uses light rays for solving the Hami...
Mihai Oltean