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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 534-549, 2017, 978-3-662-54457-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
51 | Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus |
Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.09254, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
46 | Bernhard Schätz, Christian Salzmann |
Service-Based Systems Engineering: Consistent Combination of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 86-104, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(1), pp. 1-37, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings, pp. 59-72, 2001, Springer, 3-540-42379-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 210-224, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Cezary Kaliszyk |
Automating Side Conditions in Formalized Partial Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 300-314, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Mounia Lalmas |
Information retrieval and Dempster-Shafer's theory of evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications of Uncertainty Formalisms ![In: Applications of Uncertainty Formalisms, pp. 157-176, 1998, Springer, 3-540-65312-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Gary T. Leavens, Jeannette M. Wing |
Protective Interface Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 520-534, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Nadim Obeid |
Answers to modal and hypothetical questions in knowledge base systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 2(4), pp. 353-367, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 265-274, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 62-73, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 12(4), pp. 371-408, 2003. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.06982, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Dieter Spreen |
How much partiality is needed for a theory of computability? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 12(4), pp. 371-426, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 69(6), pp. 3157-3169, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Lindsay Crawford |
Believing the best: on doxastic partiality in friendship. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 196(4), pp. 1575-1593, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 27(6), pp. 910-932, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.00468, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 859-868, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Tarmo Uustalu, Niccolò Veltri |
Partiality and Container Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 406-425, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Ana Bove, Alexander Krauss 0001, Matthieu Sozeau |
Partiality and recursion in interactive theorem provers - an overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 26(1), pp. 38-88, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | David A. Schmidt |
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 252-271, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Hendrik Hilberdink |
Inclusions for partiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(1), pp. 46-82, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Katherine Hawley |
Partiality and prejudice in trusting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 191(9), pp. 2029-2045, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Katherine Hawley |
Erratum to: Partiality and prejudice in trusting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 191(9), pp. 2047, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Wesley H. Holliday |
Partiality and Adjointness in Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 10, invited and contributed papers from the tenth conference on `Advances in Modal Logic,` held in Groningen, The Netherlands, August 5-8, 2014, pp. 313-332, 2014, College Publications, 978-1-84890-151-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Lukasz Czajka 0001 |
Partiality and Recursion in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pp. 177-192, 2013, Springer, 978-3-642-37074-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Jan Maluszynski, Andrzej Szalas |
Partiality and Inconsistency in Agents' Belief Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), May 27-29, 2013, Hue City, Vietnam, pp. 3-17, 2013, IOS Press, 978-1-61499-253-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Gunther Schmidt 0001 |
Partiality II: Constructed relation algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 81(6), pp. 660-679, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Lukasz Czajka 0001 |
Partiality and Recursion in Higher-order Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.2039, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Manfred Kerber, Michael Kohlhase |
Reasoning without believing: on the mechanisation of presuppositions and partiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 22(4), pp. 295-317, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Nuno Macedo, Hugo Pacheco 0001, Alcino Cunha |
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, pp. 146-161, 2012, Springer, 978-3-642-33313-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFA ![In: Soft Computing Applications - Proceedings of the 5th International Workshop Soft Computing Applications, SOFA 2012, Szeged, Hungary, 22-14 August 2012, pp. 1-3, 2012, Springer, 978-3-642-33940-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Nils Anders Danielsson |
Operational semantics using the partiality monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012, pp. 127-138, 2012, ACM, 978-1-4503-1054-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![EasyChair The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski |
Partiality, State and Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 198-212, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Joe Hendrix, Deepak Kapur, José Meseguer 0001 |
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 275-290, 2010, Springer, 978-3-642-14051-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Enza Graziano, Augusto Gnisci |
The Partiality in Italian Political Interviews: Stereotype or Reality? ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST 2102 Conference ![In: Analysis of Verbal and Nonverbal Communication and Enactment. The Processing Issues - COST 2102 International Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Papers, pp. 355-367, 2010, Springer, 978-3-642-25774-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Nils Anders Danielsson |
Beating the Productivity Checker Using Embedded Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR ![In: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010., pp. 29-48, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich |
Termination Casts: A Flexible Approach to Termination with General Recursion ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR ![In: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010., pp. 76-93, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Krauss 0001 |
Recursive Definitions of Monadic Functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR ![In: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010., pp. 1-13, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Claudio Sacerdoti Coen, Silvio Valentini |
General Recursion and Formal Topology ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR ![In: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010., pp. 65-75, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Issam Maamria, Michael J. Butler |
Rewriting and Well-Definedness within a Proof System ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR ![In: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010., pp. 49-64, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Abel 0001 |
MiniAgda: Integrating Sized and Dependent Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR ![In: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010., pp. 14-28, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich |
Termination Casts: A Flexible Approach to Termination with General Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![In: Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010, pp. 84-100, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Tarmo Uustalu |
Antifounded Coinduction in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![In: Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010, pp. 114, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Claudio Sacerdoti Coen, Silvio Valentini |
General Recursion and Formal Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![In: Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010, pp. 72-83, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Thorsten Altenkirch, Nils Anders Danielsson |
Termination Checking in the Presence of Nested Inductive and Coinductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![In: Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010, pp. 101-106, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Issam Maamria, Michael J. Butler |
Rewriting and Well-Definedness within a Proof System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![In: Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010, pp. 55-71, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Krauss 0001 |
Recursive Definitions of Monadic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![In: Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010, pp. 1-13, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Abel 0001 |
MiniAgda: Integrating Sized and Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![In: Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010, pp. 18-33, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Nils Anders Danielsson |
Beating the Productivity Checker Using Embedded Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![In: Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010, pp. 34-54, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Conor McBride |
Djinn, Monotonic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![In: Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010, pp. 14-17, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Gavin Mendel-Gleason, Geoff W. Hamilton |
Cyclic Proofs and Coinductive Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAR@ITP ![In: Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010, pp. 107-113, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Farhad Mehta |
A Practical Approach to Partiality - A Proof Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 238-257, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 36(7/8), pp. 1100-1105, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Gunther Schmidt 0001 |
Partiality I: Embedding relation algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 66(2), pp. 212-238, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Reiner Hähnle |
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 13(4), pp. 415-433, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Michael Johnson, Robert D. Rosebrugh |
Three approaches to Partiality in the Sketch Data Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Computing: the Australasian Theory Symposiumm, CATS 2003, Adelaide, SA, Australia, February 4-7, 2003, pp. 82-99, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/0303009, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
26 | Bob Coecke, Keye Martin |
Partiality in physics ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR quant-ph/0312044, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
26 | Gabriel Sandu, Ahti Pietarinen |
Partiality and Games: Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 9(1), pp. 101-121, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Ana Bove, Venanzio Capretta |
Nested General Recursion and Partiality in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings, pp. 121-135, 2001, Springer, 3-540-42525-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Yngve Lamo, Michal Walicki |
Modeling Partiality by Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAS-SCI (1) ![In: World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs 2001, July 22-25, 2001, Orlando, Florida, USA, Proceedings, Volume I: Information Systems Development, pp. 447-452, 2001, IIIS, 980-07-7541-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
26 | Jørgen Villadsen |
Meaning and Partiality Revised. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAI ![In: SCAI'01 - Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence, Odense, Denmark, 19-21 February, 2001, pp. 163-164, 2001, IOS Press, 1-58603-161-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
26 | J. Michael Dunn |
Partiality and Its Dual. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 66(1), pp. 5-40, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You |
Unfolding Partiality and Disjunctions in Stable Model Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 411-422, 2000, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
26 | Rogier M. van Eijk |
Partiality, Modality, and Nonmonotonicity, Patrick Doherty, ed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 8(2), pp. 251-254, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Joseph M. Morris, Alexander Bunkenburg |
A Logic for Reasoning Equationally in the Presence of Partiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 34(2), pp. 141-158, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Magne Haveraaen, Eric G. Wagner |
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers, pp. 182-200, 1999, Springer, 3-540-67898-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Joseph M. Morris, Alexander Bunkenburg |
Partiality and Nondeterminacy in Program Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 10(1), pp. 76-96, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Olaf Müller, Konrad Slind |
Treating Partiality in a Logic of Total Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 40(10), pp. 640-652, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Jens Erik Fenstad |
Partiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Logic and Language ![In: Handbook of Logic and Language., pp. 649-682, 1997, North Holland / Elsevier, 978-0-444-81714-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Kerber, Michael Kohlhase |
Mechanising Partiality With Re-implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings, pp. 123-134, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Ali Hamie |
Realizability and partiality in constructive set theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGART Newsl. ![In: SIGART Newsl. 109, pp. 18, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Pierre-Louis Curien, Adam Obtulowicz |
Partiality, Cartesian closedness and Toposes ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 80(1), pp. 50-95, January 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 21(1-2), pp. 59-88, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 68-83, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Malcolm Wallace |
Partial Parsing: Combining Choice with Commitment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, pp. 93-110, 2007, Springer, 978-3-540-85372-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Robert Atkey |
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, pp. 18-32, 2007, Springer, 978-3-540-68084-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Filinski, Kristian Støvring |
Inductive reasoning about effectful data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 97-110, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings, pp. 377-380, 2007, Springer, 978-3-540-72981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(8), pp. 587-607, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
refinement, scenarios, formal semantics, Message Sequence Charts, requirements modeling |
17 | James McKinna |
Why dependent types matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 1, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | S. M. F. D. Syed Mustapha |
Relation-Based Case Retrieval Approach for Web Services Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China, pp. 644-648, 2006, IEEE Computer Society, 0-7695-2747-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Yves Bertot |
Filters on CoInductive Streams, an Application to Eratosthenes' Sieve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 102-115, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Karina Girardi Roggia, Marnes Hoff, Paulo Blauth Menezes |
Computation of Partial Automata Through Span Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers, pp. 15-20, 2005, Springer, 3-540-29002-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Luís Cruz-Filipe, Freek Wiedijk |
Hierarchical Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings, pp. 66-81, 2004, Springer, 3-540-23017-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Xinguo Yu, Hon Wai Leong, Changsheng Xu, Qi Tian 0002 |
A robust and accumulator-free ellipse hough transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 12th ACM International Conference on Multimedia, New York, NY, USA, October 10-16, 2004, pp. 256-259, 2004, ACM, 1-58113-893-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
accumulator-free, measure function, hough transform, ellipse |
17 | Luís Soares Barbosa |
A Perspective on Component Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures, pp. 23-48, 2004, Springer, 3-540-29131-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Raymond Y. K. Lau, Peter Bruza, Dawei Song 0001 |
Belief revision for adaptive information retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2004: Proceedings of the 27th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Sheffield, UK, July 25-29, 2004, pp. 130-137, 2004, ACM, 1-58113-881-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
IR context, logic-based IR, belief revision |
17 | Ahti Pietarinen |
Knowledge Constructions for Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings, pp. 303-311, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | José Meseguer 0001, Grigore Rosu |
A Total Approach to Partial Algebraic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 572-584, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Carsten Führmann |
Varieties of Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 144-158, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Meirav Hadad, Sarit Kraus |
Exchanging and Combining Temporal Information in a Cooperative Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIA ![In: Cooperative Information Agents VI, 6th International Workshop, CIA 2002, Madrid, Spain, September 18-20, 2002, Proceedings, pp. 279-286, 2002, Springer, 3-540-44173-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Juei-Nan Chen, Yueh-Min Huang, William C. Chu |
Adaptive Multi-agent Decision Making Using Analytical Hierarchy Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings, pp. 203-212, 2002, Springer, 3-540-00197-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas |
Combining Logics: Parchments Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, pp. 48-70, 2001, Springer, 3-540-43159-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|