Search Sciweavers | Sciweavers

3891 search results - page 124 / 779

» A logic for strategic reasoning

155

Voted

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 11 months ago

Download clip.dia.fi.upm.es

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

claim paper

Read More »

148

click to vote

ICLP
1992
Springer

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

15 years 11 months ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

129

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 9 months ago

Download www.webont.org

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

claim paper

Read More »

140

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

15 years 8 months ago

Download www.aaai.org

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

claim paper

Read More »

132

click to vote

CL
2008
Springer

102views Automated Reasoning» more CL 2008»

Application-specific models and pointcuts using a logic metalanguage

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers