Sciweavers

563 search results - page 23 / 113
» An Observational Model for Spatial Logics
Sort
View
CISIS
2009
IEEE
15 years 4 months ago
A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
Oliver Ray, Ken E. Whelan, Ross D. King
SLOGICA
2010
97views more  SLOGICA 2010»
14 years 8 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher
JUCS
2008
120views more  JUCS 2008»
14 years 9 months ago
An Adaptation Logic Framework for Java-based Component Systems
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mi...
FUIN
2008
88views more  FUIN 2008»
14 years 9 months ago
Validating Behavioral Component Interfaces in Rewriting Logic
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
WSC
1997
14 years 11 months ago
A Simulation Environment for the Coordinated Operation of Multiple Autonomous Underwater Vehicles
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary application of this simulation environment is the...
João Borges de Sousa, Aleks Göllü