Archive for William W. Wadge 2007

Wadge index
Cartesian index
Gösta Grahne, Alex Thomo, William W. Wadge.
Preferentially Annotated Regular Path Queries.
In Thomas Schwentick, Dan Suciu (ed.), 11th International Conference on Database Theory (ICDT 2007). Lecture Notes in Computer Science. Vol. 4353. pp.314--328. 2007. Springer-Verlag.
Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge.
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.
In Chitta Baral, Gerhard Brewka, John S. Schlipf (ed.), 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007). Lecture Notes in Computer Science. Vol. 4483. pp.44--57. 2007. Springer-Verlag.