William W. Wadge

Publication Activity (10 Years)

Years Active: 1974-2022
Publications (10 Years): 2

Top Topics

Multidimensional Time Series

Defeasible Argumentation

Computational Logic

Top Venues

Math. Struct. Comput. Sci.

ACM Trans. Comput. Log.

Publications

Abdulmonem I Shennat, William W. Wadge, Alex Kuo
The Dimensional Analysis of Data Flow Programs That Include Multidimensional and User-Defined Functions. Big Data (2022)
Jarryd P. Beck, John Plaice, William W. Wadge
Multidimensional infinite data in the language Lucid. Math. Struct. Comput. Sci. 25 (7) (2015)
Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge
Extensional Higher-Order Logic Programming. ACM Trans. Comput. Log. 14 (3) (2013)
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
Extensional Higher-Order Logic Programming CoRR (2011)
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge
Extensional Higher-Order Logic Programming. JELIA (2010)
Maria Chowdhury, Alex Thomo, William W. Wadge
Preferential Infinitesimals for Information Retrieval. AIAI (2009)
Christos Nomikos, Panos Rondogiannis, William W. Wadge
Strong equivalence of logic programs under the infinite-valued semantics. Inf. Process. Lett. 109 (11) (2009)
Maria Chowdhury, Alex Thomo, William W. Wadge
Trust-Based Infinitesimals for Enhanced Collaborative Filtering. COMAD (2009)
Maryam Khezrzadeh, Alex Thomo, William W. Wadge
Harnessing the power of "favorites" lists for recommendation systems. RecSys (2009)
Chrysida Galanaki, Panos Rondogiannis, William W. Wadge
An infinite-game semantics for well-founded negation in logic programming. Ann. Pure Appl. Log. 151 (2-3) (2008)
Chrysida Galanaki, Panos Rondogiannis, William W. Wadge
General Logic Programs as Infinite Games. Topological and Game-Theoretic Aspects of Infinite Computations (2008)
John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge
Sequential Demand-Driven Evaluation of Eager TransLucid. COMPSAC (2008)
Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Gösta Grahne, Alex Thomo, William W. Wadge
Preferential Regular Path Queries. Fundam. Informaticae 89 (2-3) (2008)
Gösta Grahne, Alex Thomo, William W. Wadge
Preferentially Annotated Regular Path Queries. ICDT (2007)
Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR (2007)
Ruchi Agarwal, William W. Wadge
The Lazy Evaluation of Infinitesimal Logic Expressions. PLC (2005)
Panos Rondogiannis, William W. Wadge
Minimum model semantics for logic programs with negation-as-failure. ACM Trans. Comput. Log. 6 (2) (2005)
Panos Rondogiannis, William W. Wadge
An infinite-game semantics for negation in logic programming. GALOP@ETAPS (2005)
Christos Nomikos, Panos Rondogiannis, William W. Wadge
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. ICLP (2005)
Honglian (Elena) Li, William W. Wadge
An Intensional Tool Applied to French Language Educational Software. SEKE (2004)
Panos Rondogiannis, William W. Wadge
Minimum Model Semantics for Logic Programs with Negation-as-Failure CoRR (2003)
Panos Rondogiannis, William W. Wadge
An Infinite-Valued Semantics for Logic Programs with Negation. JELIA (2002)
William W. Wadge
"The Medium" Is the Message. DCW (2002)
William W. Wadge, Monica M. C. Schraefel
A Complementary Approach for Adaptive and Adaptable Hypermedia: Intensional Hypertext. OHS-7/SC-3/AH-3 (2001)
William W. Wadge
Intensional Markup Language. DCW (2000)
Panos Rondogiannis, William W. Wadge
Higher-Order Functional Languages and Intensional Logic. J. Funct. Program. 9 (5) (1999)
William W. Wadge, Gord Brown, Monica M. C. Schraefel, Taner Yildirim
Intensional HTML. PODDP (1998)
Panos Rondogiannis, William W. Wadge
First-Order Functional Languages and Intensional Logic. J. Funct. Program. 7 (1) (1997)
Panos Rondogiannis, William W. Wadge
Higher-order dataflow and its implementation on stock hardware. SAC (1994)
Mehmet A. Orgun, William W. Wadge
Extending Temporal Logic Programming with Choice Predicates Non-Determinism. J. Log. Comput. 4 (6) (1994)
Panos Rondogiannis, William W. Wadge
Compiling Higher-Order Functions for Tagged-Dataflow. IFIP PACT (1994)
Mehmet A. Orgun, William W. Wadge, Weichang Du
Chronolog (Z): Linear-Time Logic Programming. ICCI (1993)
John Plaice, William W. Wadge
A Unix Tool for Managing Reusable Software Components. Softw. Pract. Exp. 23 (9) (1993)
John Plaice, William W. Wadge
A New Approach to Version Control. IEEE Trans. Software Eng. 19 (3) (1993)
Mehmet A. Orgun, William W. Wadge
Towards a Unified Theory of Intensional Logic Programming. J. Log. Program. 13 (4) (1992)
Mehmet A. Orgun, William W. Wadge
A Relational Algebra as a Query Language for Temporal DATALOG. DEXA (1992)
William W. Wadge
Higher-Order Horn Logic Programming. ISLP (1991)
Weichang Du, William W. Wadge
A 3D Spreadsheet Based on Intensional Logic. IEEE Softw. 7 (3) (1990)
Weichang Du, William W. Wadge
The Eductive Implementation of a Three-dimensional Spreadsheet. Softw. Pract. Exp. 20 (11) (1990)
Weichang Du, William W. Wadge
An intentional language as the basis of a 3-D spreadsheet design. ICCL (1988)
Antony A. Faustini, William W. Wadge
An eductive interpreter for Lucid. PLDI (1987)
Edward A. Ashcroft, William W. Wadge
R/ for Semantics. ACM Trans. Program. Lang. Syst. 4 (2) (1982)
William W. Wadge
An Extensional Treatment of Dataflow Deadlock. Theor. Comput. Sci. 13 (1981)
Edward A. Ashcroft, William W. Wadge
Some common misconceptions about Lucid. ACM SIGPLAN Notices 15 (10) (1980)
William W. Wadge
An Extensional Treatment of Dataflow Deadlock. Semantics of Concurrent Computation (1979)
Edward A. Ashcroft, William W. Wadge
Clauses: Scope Structures and Defined Functions in Lucid. POPL (1978)
Adi Shamir, William W. Wadge
Data Types as Objects. ICALP (1977)
Edward A. Ashcroft, William W. Wadge
Lucid, a Nonprocedural Language with Iteration. Commun. ACM 20 (7) (1977)
Edward A. Ashcroft, William W. Wadge
Erratum: Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 6 (1) (1977)
Edward A. Ashcroft, William W. Wadge
Intermittent Assertion Proofs in Lucid. IFIP Congress (1977)
Edward A. Ashcroft, William W. Wadge
Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 5 (3) (1976)
David M. Jackson, William W. Wadge
Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification. Comput. J. 17 (3) (1974)