Search Sciweavers | Sciweavers

3891 search results - page 124 / 779

» A logic for strategic reasoning

148

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 10 months ago

Download clip.dia.fi.upm.es

Germán Puebla, Maria J. García de la...

claim paper

Read More »

136

click to vote

ICLP
1992
Springer

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

15 years 10 months ago

Download gpd.sip.ucm.es

Herbert Kuchen, Francisco Javier López-Frag...

claim paper

Read More »

112

click to vote

DLOG
2008

83views Automated Reasoning» more DLOG 2008»

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support

15 years 8 months ago

Download www.webont.org

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau,...

claim paper

Read More »

122

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

15 years 7 months ago

Download www.aaai.org

Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Je...

claim paper

Read More »

119

click to vote

CL
2008
Springer

102views Automated Reasoning» more CL 2008»

Application-specific models and pointcuts using a logic metalanguage

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers