Search Sciweavers | Sciweavers

4257 search results - page 34 / 852

» The Logical Modularity of Programs

click to vote

CSUR
1998

68views more CSUR 1998»

Optimizing Modular Logic Languages

15 years 4 months ago

Download www.dsi.unive.it

Michele Bugliesi, Anna Ciampolini, Evelina Lamma, ...

claim paper

Read More »

118

Voted

ENTCS
1998

60views more ENTCS 1998»

Semantics, modularity, and rewriting logic

15 years 4 months ago

Download www.brics.dk

Peter D. Mosses

claim paper

Read More »

107

Voted

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

15 years 2 months ago

Download dl.kr.org

Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...

claim paper

Read More »

144

click to vote

CADE
2004
Springer

147views Logical Reasoning» more CADE 2004»

Modular Proof Systems for Partial Functions with Weak Equality

15 years 10 months ago

Download www.mpi-inf.mpg.de

The paper presents a modular superposition calculus for the combination of ﬁrst-order theories involving both total and partial functions. Modularity means that inferences are pu...

Harald Ganzinger, Viorica Sofronie-Stokkermans, Uw...

claim paper

Read More »

143

click to vote

EUSFLAT
2009

124views Fuzzy Logic» more EUSFLAT 2009»

A Semi-infinite Programming Approach to Possibilistic Optimization under Necessity Measure Constraints

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers