H ?
«
‹
←
→
›
»
Language peer sets for MVL: United States↑ United States/1993↑ Designed 1993 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ MVL(ID:3669/mvl001)alternate simple viewCountry: United States Designed 1993 Published: 1993 for Multi-Valued Logic Matthew Ginsberg Computational Intelligence Research Lab University of Oregon 1993 Theorem proving shell written in Common Lisp, includes first-order logic, ATMS, default reasoning and circumscription as special cases. MVL is a bilattice-based reasoning system. By changing the bilattice, you can use MVL to do truth maintenance, nonmonotonic reasoning, first-order reasoning, and a variety of other reasoning strategies. Structures: Related languages
References: in (1991) ACM SIGART Bulletin 2(3) June 1991 Special issue on implemented knowledge representation and reasoning systems Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |