scientific article; zbMATH DE number 2085285

zbMath1053.68694MaRDI QIDQ4736520

Ken Kaneiwa, Satoshi Tojo

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2237/22370300.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items

Resolution for label-based formulas in hierarchical representation ⋮ Description logics with contraries, contradictories, and subcontraries ⋮ A hybrid reasoning system for terminologies and first-order clauses in knowledge bases ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation ⋮ Order-sorted logic programming with predicate hierarchy