Search results for "partiality"

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