Sciweavers

413 search results - page 5 / 83

» On Product Logic with Truth-constants

122

FUIN
2008

80views more FUIN 2008»

Products of Tree Automata with an Application to Temporal Logic

15 years 6 months ago

Products of Tree Automata with an Application to Temporal Logic

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

126

FSS
2006

82views more FSS 2006»

A fuzzy logic based production scheduling/rescheduling in the presence of uncertain disruptions

15 years 6 months ago

A fuzzy logic based production scheduling/rescheduling in the presence of uncertain disruptions

Download www.coventry.ac.uk

Dobrila Petrovic, Alejandra Duenas

claim paper

Read More »

117

LOGCOM
2006

54views more LOGCOM 2006»

On Product Logic with Truth-constants

15 years 6 months ago

On Product Logic with Truth-constants

Download www.carlesnoguera.cat

Petr Savický, Roberto Cignoli, Francesc Est...

claim paper

Read More »

109

FSS
2007

54views more FSS 2007»

Product logic and probabilistic Ulam games

15 years 6 months ago

Product logic and probabilistic Ulam games

Download www.mat.unisi.it

Franco Montagna, Claudio Marini, Giulia Simi

claim paper

Read More »

166

DLOG
2010

129views Automated Reasoning» more DLOG 2010»

Logic for Modeling Product Structure

15 years 4 months ago

Logic for Modeling Product Structure

Download www.cs.uwaterloo.ca

A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...

Henson Graves

claim paper

Read More »

« Prev « First page 5 / 83 Last » Next »