4617 search results - page 357 / 924 » Automation of Diagrammatic Reasoning |
174
Voted
PPSWR
2005
Springer
16 years 5 days ago
2005
Springer
This articles discusses the logic, or logic-based, languages required for a full deployment of the Semantic Web. It presents ten theses addressing
159
click to vote
FLOPS
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents a complete (infinite) axiomatization for an algebraic construction of graphs, in which a finite fragment denotes the class of graphs with bounded tree width.
141
click to vote
LOPSTR
2004
Springer
16 years 1 days ago
2004
Springer
Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines
151
click to vote
CSL
2003
Springer
15 years 12 months ago
2003
Springer
We propose a method for realising the proofs of Intuitionistic Zermelo-Fraenkel set theory (IZF) by strongly normalising λ-terms. This
177
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
This note summarizes the use of Answer Set Programming to solve various computational problems to infer phylogenetic trees and phylogenetic networks, and discusses its applicabilit...