Search Sciweavers | Sciweavers

1000 search results - page 44 / 200

» Nominal rewriting systems

165

click to vote

AAAI
2008

173views Intelligent Agents» more AAAI 2008»

Abductive Logic Programming by Nonground Rewrite Systems

15 years 7 months ago

Download www.cs.ust.hk

Logic programming with negation offers a compelling approach to abductive reasoning. This paper shows a simple view of abduction in this context for the completion semantics, unde...

Fangzhen Lin, Jia-Huai You

claim paper

Read More »

127

click to vote

ISIM
2007

107views Information Technology» more ISIM 2007»

Generalized #-Rewriting Systems of Finite Index

15 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Zbynek Krivka, Alexander Meduna

claim paper

Read More »

128

click to vote

MCU
2001

64views Hardware» more MCU 2001»

Two Normal Forms for Rewriting P Systems

15 years 6 months ago

Download psystems.disco.unimib.it

Claudio Zandron, Claudio Ferretti, Giancarlo Mauri

claim paper

Read More »

139

click to vote

AAECC
2010
Springer

124views Algorithms» more AAECC 2010»

A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems

15 years 5 months ago

Download www.cs.uh.edu

Julian Zinn, Rakesh M. Verma

claim paper

Read More »

113

click to vote

AAI
2007

85views more AAI 2007»

Cooperative Query Rewriting for Decision Making Support and Recommender Systems

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers