Search Sciweavers | Sciweavers

3719 search results - page 21 / 744

» RACER System Description

click to vote

DLOG
1996

150views Automated Reasoning» more DLOG 1996»

Towards a Legal Reasoning System based on Description Logics: A Position Paper

14 years 5 days ago

Download www.aaai.org

fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...

Makoto Haraguchi

claim paper

Read More »

click to vote

ICEIS
2003
IEEE

82views Information Technology» more ICEIS 2003»

Towards an Agent Architectural Description Language for Information Systems

14 years 4 months ago

Download www.isys.ucl.ac.be

Stéphane Faulkner, Manuel Kolp

claim paper

Read More »

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

14 years 5 months ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

click to vote

DAC
1999
ACM

116views Computer Architecture» more DAC 1999»

Description and Simulation of Hardware/Software Systems with Java

14 years 11 months ago

Download www.cs.ucr.edu

Tommy Kuhn, Wolfgang Rosenstiel, Udo Kebschull

claim paper

Read More »

click to vote

QEST
2005
IEEE

109views Modeling and Simulation» more QEST 2005»

Formal Executable Descriptions of Biological Systems

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers