136 search results - page 8 / 28 » A Logical Framework with Explicit Conversions |
205
Voted
LANMR
2004
15 years 7 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
158
click to vote
ILP
2000
Springer
15 years 10 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
158
Voted
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
194
click to vote
VVS
1995
IEEE
15 years 10 months ago
1995
IEEE
We introduce a framework for texturing volumetric objects with displacement maps and texture maps, which are introduced as volume modeling tools. In this framework, an implicit-to...
201
Voted
CLIMA
2004
15 years 7 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...