Search Sciweavers | Sciweavers

4978 search results - page 182 / 996

» Logical models of argument

click to vote

DAGSTUHL
2003

133views Software Engineering» more DAGSTUHL 2003»

XML: Model, Schemas, Types, Logics, and Queries

15 years 5 months ago

Download www.clairgrove.com

Nils Klarlund, Thomas Schwentick, Dan Suciu

claim paper

Read More »

107

Voted

PSB
2003

112views Applied Computing» more PSB 2003»

Towards Discovering Structural Signatures of Protein Folds Based on Logical Hidden Markov Models

15 years 5 months ago

Download helix-web.stanford.edu

Kristian Kersting, Tapani Raiko, Stefan Kramer, Lu...

claim paper

Read More »

105

click to vote

DAGSTUHL
1998

106views Software Engineering» more DAGSTUHL 1998»

Description Logics for Conceptual Data Modeling

15 years 5 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

Voted

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

15 years 5 months ago

Download www.info2.uqam.ca

Edmund M. Clarke

claim paper

Read More »

108

click to vote

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers