Sciweavers

3773 search results - page 40 / 755
» Logical Reasoning
Sort
View
KR
1998
Springer
15 years 6 months ago
On the Logic of Merging
Sébastien Konieczny, Ramón Pino P&ea...
83
Voted
LOPSTR
1998
Springer
15 years 6 months ago
Specialising Logic Programs with Respect to Call?Post Specifications
Annalisa Bossi, Sabina Rossi
TARK
1998
Springer
15 years 6 months ago
Logic and Choice
Hans Rott
TARK
1998
Springer
15 years 6 months ago
The Modal Logic of Probability
Aviad Heifeitz, Philippe Mongin
112
Voted
LICS
1997
IEEE
15 years 6 months ago
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
P. S. Thiagarajan, Igor Walukiewicz