Abstract | ||
---|---|---|
We extend first-order logic with sequence variables and sequence functions. We describe syntax, semantics and inference system for the extension, define an inductive theory with sequence variables and formulate induction rules. The calculus forms a basis for the top-down systematic theory exploration paradigm. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-27818-4_15 | Lecture Notes in Artificial Intelligence |
Keywords | Field | DocType |
first order logic,top down | Predicate variable,Computer science,Inference,Proof calculus,Algorithm,Theoretical computer science,First-order logic,Predicate functor logic,Predicate logic,Rule of inference,Semantics | Conference |
Volume | ISSN | Citations |
3119 | 0302-9743 | 7 |
PageRank | References | Authors |
0.69 | 13 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
temur kutsia | 1 | 252 | 36.47 |
Bruno Buchberger | 2 | 847 | 168.26 |