Sciweavers

2777 search results - page 38 / 556
» Example centric programming
Sort
View
LANMR
2004
13 years 11 months ago
New Semantics for Hybrid Probabilistic Programs
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
Emad Saad
CLIMA
2009
13 years 7 months ago
Operational Semantics for BDI Modules in Multi-agent Programming
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
Mehdi Dastani, Bas R. Steunebrink
ICLP
2007
Springer
14 years 4 months ago
Contextual Logic Programming for Ontology Representation and Querying
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
Nuno Lopes 0002, Cláudio Fernandes, Salvado...
APLAS
2003
ACM
14 years 1 months ago
Dataflow Pointcut in Aspect-Oriented Programming
A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is ...
Hidehiko Masuhara, Kazunori Kawauchi
ESOP
2008
Springer
13 years 11 months ago
Programming in JoCaml (Tool Demonstration)
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...
Louis Mandel, Luc Maranget