Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
51 | Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus |
Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
51 | Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus |
Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
46 | Bernhard Schätz, Christian Salzmann |
Service-Based Systems Engineering: Consistent Combination of Services. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
model checking, interaction, specification, component, application, consistency, implementation, Service, completeness, tool- support, behavior, formalization, partiality |
43 | Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You |
Unfolding partiality and disjunctions in stable model semantics. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models |
43 | Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini |
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective. |
CONTEXT |
2001 |
DBLP DOI BibTeX RDF |
|
43 | Nick D. Dendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitrios M. Thilikos |
Partiality and Approximation Schemes for Local Consistency in Networks of Constraints. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Cezary Kaliszyk |
Automating Side Conditions in Formalized Partial Functions. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Mounia Lalmas |
Information retrieval and Dempster-Shafer's theory of evidence. |
Applications of Uncertainty Formalisms |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Gary T. Leavens, Jeannette M. Wing |
Protective Interface Specifications. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Nadim Obeid |
Answers to modal and hypothetical questions in knowledge base systems. |
Appl. Intell. |
1992 |
DBLP DOI BibTeX RDF |
Helpful answers, modal and hypothetical questions, theorem proper, three-valued logic, partial information |
29 | Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg |
Stayin' alert: : moulding failure and exceptions to your needs. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
alert reporting and handling, domain-specific exception language, abstraction, errors, separation of concerns, aspects, failure, partiality, guarding, mouldable programming |
29 | Andreas Abel 0001, Marcin Benke, Ana Bove, John Hughes 0001, Ulf Norell |
Verifying haskell programs using constructive type theory. |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
GHC core, monadic translation, verification, haskell, type theory, partiality |
29 | Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel |
Multi-valued symbolic model-checking. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality |
26 | Dieter Spreen |
How Much Partiality Is Needed for a Theory of Computability? |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Dieter Spreen |
How much partiality is needed for a theory of computability? |
Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Jiaming Xu, Yu Liu 0014, Hongwei Xie, Fei Luo 0001 |
Surface Quality Assurance Method for Lithium-Ion Battery Electrode Using Concentration Compensation and Partiality Decision Rules. |
IEEE Trans. Instrum. Meas. |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Lindsay Crawford |
Believing the best: on doxastic partiality in friendship. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Gemma Robles, José M. Méndez |
Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value. |
Log. J. IGPL |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin |
Computable decision making on the reals and other spaces via partiality and nondeterminism. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
26 | Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin |
Computable decision making on the reals and other spaces: via partiality and nondeterminism. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Tarmo Uustalu, Niccolò Veltri |
Partiality and Container Monads. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Ana Bove, Alexander Krauss 0001, Matthieu Sozeau |
Partiality and recursion in interactive theorem provers - an overview. |
Math. Struct. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
26 | David A. Schmidt |
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. |
Semantics, Logics, and Calculi |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Hendrik Hilberdink |
Inclusions for partiality. |
Math. Struct. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Katherine Hawley |
Partiality and prejudice in trusting. |
Synth. |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Katherine Hawley |
Erratum to: Partiality and prejudice in trusting. |
Synth. |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Wesley H. Holliday |
Partiality and Adjointness in Modal Logic. |
Advances in Modal Logic |
2014 |
DBLP BibTeX RDF |
|
26 | Lukasz Czajka 0001 |
Partiality and Recursion in Higher-Order Logic. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Jan Maluszynski, Andrzej Szalas |
Partiality and Inconsistency in Agents' Belief Bases. |
KES-AMSTA |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Gunther Schmidt 0001 |
Partiality II: Constructed relation algebras. |
J. Log. Algebraic Methods Program. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Lukasz Czajka 0001 |
Partiality and Recursion in Higher-order Logic |
CoRR |
2012 |
DBLP BibTeX RDF |
|
26 | Manfred Kerber, Michael Kohlhase |
Reasoning without believing: on the mechanisation of presuppositions and partiality. |
J. Appl. Non Class. Logics |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Nuno Macedo, Hugo Pacheco 0001, Alcino Cunha |
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Lotfi A. Zadeh |
Outline of a Restriction-Centered Theory of Reasoning and Computation in an Environment of Uncertainty, Imprecision and Partiality of Truth - (Video Tape Lecture). |
SOFA |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Nils Anders Danielsson |
Operational semantics using the partiality monad. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Ekaterina Komendantskaya, Ana Bove, Milad Niqui (eds.) |
Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010 |
PAR@ITP |
2012 |
DBLP BibTeX RDF |
|
26 | Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski |
Partiality, State and Dependent Types. |
TLCA |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Ana Bove, Ekaterina Komendantskaya, Milad Niqui (eds.) |
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010. |
PAR |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Joe Hendrix, Deepak Kapur, José Meseguer 0001 |
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. |
ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Enza Graziano, Augusto Gnisci |
The Partiality in Italian Political Interviews: Stereotype or Reality? |
COST 2102 Conference |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Nils Anders Danielsson |
Beating the Productivity Checker Using Embedded Languages |
PAR |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich |
Termination Casts: A Flexible Approach to Termination with General Recursion |
PAR |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Krauss 0001 |
Recursive Definitions of Monadic Functions |
PAR |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Claudio Sacerdoti Coen, Silvio Valentini |
General Recursion and Formal Topology |
PAR |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Issam Maamria, Michael J. Butler |
Rewriting and Well-Definedness within a Proof System |
PAR |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Abel 0001 |
MiniAgda: Integrating Sized and Dependent Types |
PAR |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich |
Termination Casts: A Flexible Approach to Termination with General Recursion. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Tarmo Uustalu |
Antifounded Coinduction in Type Theory. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Claudio Sacerdoti Coen, Silvio Valentini |
General Recursion and Formal Topology. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Thorsten Altenkirch, Nils Anders Danielsson |
Termination Checking in the Presence of Nested Inductive and Coinductive Types. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Issam Maamria, Michael J. Butler |
Rewriting and Well-Definedness within a Proof System. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Krauss 0001 |
Recursive Definitions of Monadic Functions. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Abel 0001 |
MiniAgda: Integrating Sized and Dependent Types. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Nils Anders Danielsson |
Beating the Productivity Checker Using Embedded Languages. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Conor McBride |
Djinn, Monotonic. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Gavin Mendel-Gleason, Geoff W. Hamilton |
Cyclic Proofs and Coinductive Principles. |
PAR@ITP |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Farhad Mehta |
A Practical Approach to Partiality - A Proof Based Approach. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Vincent Kenny, Laura Scarino |
Metalogue: "less than one and more than two: developing a partiality for whole(some)ness". |
Kybernetes |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Gunther Schmidt 0001 |
Partiality I: Embedding relation algebras. |
J. Log. Algebraic Methods Program. |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Reiner Hähnle |
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. |
Log. J. IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Michael Johnson, Robert D. Rosebrugh |
Three approaches to Partiality in the Sketch Data Model. |
CATS |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You |
Unfolding Partiality and Disjunctions in Stable Model Semantics |
CoRR |
2003 |
DBLP BibTeX RDF |
|
26 | Bob Coecke, Keye Martin |
Partiality in physics |
CoRR |
2003 |
DBLP BibTeX RDF |
|
26 | Gabriel Sandu, Ahti Pietarinen |
Partiality and Games: Propositional Logic. |
Log. J. IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Ana Bove, Venanzio Capretta |
Nested General Recursion and Partiality in Type Theory. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Yngve Lamo, Michal Walicki |
Modeling Partiality by Nondeterminism. |
ISAS-SCI (1) |
2001 |
DBLP BibTeX RDF |
|
26 | Jørgen Villadsen |
Meaning and Partiality Revised. |
SCAI |
2001 |
DBLP BibTeX RDF |
|
26 | J. Michael Dunn |
Partiality and Its Dual. |
Stud Logica |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You |
Unfolding Partiality and Disjunctions in Stable Model Semantics. |
KR |
2000 |
DBLP BibTeX RDF |
|
26 | Rogier M. van Eijk |
Partiality, Modality, and Nonmonotonicity, Patrick Doherty, ed. |
J. Log. Lang. Inf. |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Joseph M. Morris, Alexander Bunkenburg |
A Logic for Reasoning Equationally in the Presence of Partiality. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Magne Haveraaen, Eric G. Wagner |
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Joseph M. Morris, Alexander Bunkenburg |
Partiality and Nondeterminacy in Program Proofs. |
Formal Aspects Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Olaf Müller, Konrad Slind |
Treating Partiality in a Logic of Total Functions. |
Comput. J. |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Jens Erik Fenstad |
Partiality. |
Handbook of Logic and Language |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Kerber, Michael Kohlhase |
Mechanising Partiality With Re-implementation. |
KI |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Ali Hamie |
Realizability and partiality in constructive set theories. |
|
1992 |
RDF |
|
26 | Paul Creelman |
Book review: Partiality, Truth and Persistence by Tore Langholm (Lecture Notes 15 Ctr. for the Study of Lang. and Information. University of Chicago Press). |
SIGART Newsl. |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Pierre-Louis Curien, Adam Obtulowicz |
Partiality, Cartesian closedness and Toposes |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Francisco Durán 0001, Salvador Lucas, Claude Marché, José Meseguer 0001, Xavier Urbain |
Proving operational termination of membership equational programs. |
High. Order Symb. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic |
17 | Arsenii Rudich, Ádám Darvas, Peter Müller 0001 |
Checking Well-Formedness of Pure-Method Specifications. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Malcolm Wallace |
Partial Parsing: Combining Choice with Commitment. |
IFL |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Robert Atkey |
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Filinski, Kristian Støvring |
Inductive reasoning about effectful data types. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning |
17 | Grazyna Brzykcy, Jerzy Bartoszek |
Context in Rules Used in P2P Semantic Data Integration System. |
RR |
2007 |
DBLP DOI BibTeX RDF |
context-aware processes, Prolog-like computations, operational semantics, P2P system, situation theory |
17 | Bikram Sengupta, Rance Cleaveland |
Triggered Message Sequence Charts. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
refinement, scenarios, formal semantics, Message Sequence Charts, requirements modeling |
17 | James McKinna |
Why dependent types matter. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
|
17 | S. M. F. D. Syed Mustapha |
Relation-Based Case Retrieval Approach for Web Services Selection. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Yves Bertot |
Filters on CoInductive Streams, an Application to Eratosthenes' Sieve. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Karina Girardi Roggia, Marnes Hoff, Paulo Blauth Menezes |
Computation of Partial Automata Through Span Composition. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Luís Cruz-Filipe, Freek Wiedijk |
Hierarchical Reflection. |
TPHOLs |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Xinguo Yu, Hon Wai Leong, Changsheng Xu, Qi Tian 0002 |
A robust and accumulator-free ellipse hough transform. |
ACM Multimedia |
2004 |
DBLP DOI BibTeX RDF |
accumulator-free, measure function, hough transform, ellipse |
17 | Luís Soares Barbosa |
A Perspective on Component Refinement. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Raymond Y. K. Lau, Peter Bruza, Dawei Song 0001 |
Belief revision for adaptive information retrieval. |
SIGIR |
2004 |
DBLP DOI BibTeX RDF |
IR context, logic-based IR, belief revision |
17 | Ahti Pietarinen |
Knowledge Constructions for Artificial Intelligence. |
ISMIS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | José Meseguer 0001, Grigore Rosu |
A Total Approach to Partial Algebraic Specification. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Carsten Führmann |
Varieties of Effects. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Meirav Hadad, Sarit Kraus |
Exchanging and Combining Temporal Information in a Cooperative Environment. |
CIA |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Juei-Nan Chen, Yueh-Min Huang, William C. Chu |
Adaptive Multi-agent Decision Making Using Analytical Hierarchy Process. |
Australian Joint Conference on Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas |
Combining Logics: Parchments Revisited. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|