Sciweavers

5456 search results - page 209 / 1092
» General Equilibrium Theory
Sort
View
FSTTCS
2000
Springer
15 years 10 months ago
Dynamically Ordered Probabilistic Choice Logic Programming
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Marina De Vos, Dirk Vermeir
ARGMAS
2005
Springer
15 years 8 months ago
A Logic of Abstract Argumentation
of Abstract Argumentation Guido Boella1 , Joris Hulstijn2 , and Leendert van der Torre3 1 Universit´a di Torino 2 Vrije Universiteit, Amsterdam 3 CWI Amsterdam and Delft Universit...
Guido Boella, Joris Hulstijn, Leendert W. N. van d...
FOIS
2008
15 years 8 months ago
SKIing with DOLCE: toward an e-Science Knowledge Infrastructure
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
Boyan Brodaric, Femke Reitsma, Yi Qiang
IJRFITA
2007
84views more  IJRFITA 2007»
15 years 6 months ago
Characterisation of RF propagation in metal pipes for passive RFID systems
: In this paper we extend the theory of Radio Frequency (RF) propagation as it relates to propagation within metal circular pipes. This work is motivated by a need to understand th...
Darmindra D. Arumugam, Daniel W. Engels
APAL
2005
93views more  APAL 2005»
15 years 6 months ago
Logical aspects of Cayley-graphs: the group case
Abstract. We prove that a finitely generated group is context-free whenever its Cayleygraph has a decidable monadic second-order theory. Hence, by the seminal work of Muller and Sc...
Dietrich Kuske, Markus Lohrey