Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Benjamin N. Grosof, Terrence C. Poon |
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, Budapest, Hungary, May 20-24, 2003, pp. 340-349, 2003, ACM, 1-58113-680-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
process descriptions, ontologies, web services, XML, semantic web, knowledge representation, logic programs, electronic commerce, OWL, RDF, semantic web services, description logic, knowledge-based, rules, declarative, intelligent software agents, DAML+OIL, electronic contracts, process knowledge, business process automation |
16 | Éric Grégoire |
About the Fusion of Legal Knowledge with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the 9th International Conference on Artificial Intelligence and Law, ICAIL 2003, Edinburgh, Scotland, UK, June 24-28, 2003, pp. 91-92, 2003, ACM, 1-58113-747-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Emmanuel Beffara, Vincent Danos |
Disjunctive normal forms and local exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 203-211, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
classical realizability, control structures, disjunctive normal forms |
16 | Sriram Mahadevan, Shrikanth S. Narayanan |
Handling real-time scheduling exceptions using decision support systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003, pp. 931-936, 2003, IEEE, 0-7803-7952-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Hervé Déjean |
Learning Rules and Their Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mach. Learn. Res. ![In: J. Mach. Learn. Res. 2, pp. 669-693, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
16 | Jun Sawada, Warren A. Hunt Jr. |
Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 20(2), pp. 187-222, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Kwangkeun Yi, Sukyoung Ryu |
A cost-effective estimation of uncaught exceptions in Standard ML programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 277(1-2), pp. 185-217, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Mauricio Minuto Espil, Alejandro A. Vaisman, Leonardo Terribile |
Revising data cubes with exceptions: a rule-based perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMDW ![In: Design and Management of Data Warehouses 2002, Proceedings of the 4th Intl. Workshop DMDW'2002, Toronto, Canada, May 27, 2002, pp. 72-81, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
16 | Jehak Woo, Jongwook Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn |
Alias Analysis for Exceptions in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, Victoria, Australia, January/February 2002, pp. 321-329, 2002, Australian Computer Society, 0-909-92582-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
16 | Prabhat Mishra 0001, Nikil D. Dutt |
Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada, pp. 81-90, 2002, Kluwer, 1-4020-7156-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
16 | Benjamin N. Grosof, Terrence C. Poon |
Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: RuleML 2002, Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, 14 June 2002, Sardinia, Italy (In conjunction with the First International Semantic Web Conference ISWC2002 and hosted by SIG2 of the OntoWeb Network, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
16 | Germain Faure, Claude Kirchner |
Exceptions in the Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 66-82, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Cenk Kaynak |
Combining multiple machine learning algorithms to learn rules and exceptions (Kurallar ve istisnaların öğrenilmesi için birden çok sınıflandırıcının birleştirilmesi) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
16 | Rey-Long Liu, Meng-Jung Shih, Yu-Fen Kao |
Adaptive Exception Monitoring Agents for Management by Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Artif. Intell. ![In: Appl. Artif. Intell. 15(4), pp. 397-418, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Herman Jurjus, Harrie C. M. de Swart |
Implication with Possible Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 66(2), pp. 517-535, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder |
Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 29(2), pp. 111-137, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Romeo Rizzi |
Complexity of Context-Free Grammars with Exceptions and the Inadequacy of Grammars as Models for XML and SGML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Markup Lang. ![In: Markup Lang. 3(1), pp. 107-116, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | Pekka Kilpeläinen, Derick Wood |
SGML and XML Document Grammars and Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 169(2), pp. 230-251, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Michael M. J. Zastre, R. Nigel Horspool |
Exploiting exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 31(12), pp. 1109-1123, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
A Core Calculus for Java Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2001, Tampa, Florida, USA, October 14-18, 2001., pp. 16-30, 2001, ACM, 1-58113-335-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | James Laird |
A Fully Abstract Game Semantics of Local Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings, pp. 105-114, 2001, IEEE Computer Society, 0-7695-1281-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky |
Open Multithreaded Transactions: Keeping Threads and Exceptions under Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 8-10 January 2001, Rome, Italy, pp. 197-205, 2001, IEEE Computer Society, 0-7695-1068-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita |
Learning maximal structure fuzzy rules with exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, Leicester, United Kingdom, September 5-7, 2001, pp. 113-117, 2001, De Montfort University, Leicester, UK. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
16 | Bráulio Coelho Ávila, Fernanda Hembecker |
Inconsistencies, Exceptions and Frame Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 6-8 November 2001, Punta Arenas, Chile, pp. 23-32, 2001, IEEE Computer Society, 0-7695-1396-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Catherine Lucquiaud-Pilière |
Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle. (Acontrolled approach of exception handling in functional programming). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
16 | Mark Klein, Chrysanthos Dellarocas |
A Knowledge-based Approach to Handling Exceptions in Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Support. Cooperative Work. ![In: Comput. Support. Cooperative Work. 9(3/4), pp. 399-412, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Guido Vanackere |
HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 10(3-4), pp. 317-338, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Chrysanthos Dellarocas, Mark Klein |
A knowledge-based approach for handling exceptions in business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Technol. Manag. ![In: Inf. Technol. Manag. 1(3), pp. 155-169, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Nerman Jurrjus, Harrie C. M. de Swart |
Implication-with-possible-exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada, pp. 157-163, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas |
Verifying Advanced Microarchitectures that Support Speculation and Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings, pp. 521-537, 2000, Springer, 3-540-67770-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki |
Specifying and Querying Database Repairs using Logic Programs with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems - Recent Advances Proceedings of the Fourth International Conference on Flexible Query Answering Systems, FQAS 2000, Warsaw, Poland, October 25-28, 2000, pp. 27-41, 2000, Physica-Verlag Heidelberg New York, A Springer-Verlag Company, 3-7908-1347-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Jeff Polakow, Kwangkeun Yi |
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings, pp. 23-32, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Rónán Páircéir, Sally I. McClean, Bryan W. Scotney |
Discovery of multi-level rules and exceptions from a distributed database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining, Boston, MA, USA, August 20-23, 2000, pp. 523-532, 2000, ACM, 1-58113-233-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
exception discovery, multi-level statistical models, distributed databases, aggregates, rule discovery, sufficient statistics |
16 | Bing Liu 0001, Minqing Hu, Wynne Hsu |
Intuitive Representation of Decision Trees Using General Rules and Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA., pp. 615-620, 2000, AAAI Press / The MIT Press, 0-262-51112-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Scott A. Moore |
On Conversation Policies and the Need for Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Issues in Agent Communication ![In: Issues in Agent Communication, pp. 144-159, 2000, Springer, 3-540-41144-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones |
Imprecise Exceptions, Co-Inductively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 122-141, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar |
Efficient and precise modeling of exceptions for the analysis of Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 24(5), pp. 21-31, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Walter Daelemans, Antal van den Bosch, Jakub Zavrel |
Forgetting Exceptions is Harmful in Language Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 34(1-3), pp. 11-41, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Mark Lillibridge |
Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 12(1), pp. 75-104, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Fabio Casati, Maria Grazia Fugini, Isabelle Mirbel |
An Environment for Designing Exceptions in Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 24(3), pp. 255-273, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Neil A. M. Maiden, Shailey Minocha, Alistair G. Sutcliffe, Darrel Manuel, Michele Ryan |
A co-operative scenario based approach to acquisition and validation of system requirements: How exceptions can help! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interact. Comput. ![In: Interact. Comput. 11(6), pp. 645-664, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Norman Ramsey |
Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 42(5), pp. 360-372, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Kecheng Liu, Tina Ong |
A Modelling Approach for Handling Business Rules and Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 42(3), pp. 221-231, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar |
Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999, pp. 21-31, 1999, ACM, 1-58113-137-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java |
16 | François Pessaux, Xavier Leroy |
Type-Based Analysis of Uncaught Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999, pp. 276-290, 1999, ACM, 1-58113-095-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ML |
16 | Sophia Drossopoulou |
Java Type System with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 373-374, 1999, Springer, 3-540-66954-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
16 | Alexander Borgida, Takahiro Murata |
Tolerating exceptions in workflows: a unified framework for data and processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACC ![In: Proceedings of the international joint conference on Work activities coordination and collaboration 1999, San Francisco, California, USA, February 22-25, 1999, pp. 59-68, 1999, ACM, 978-1-58113-070-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
reified process model, safety, exception handling, deviations |
16 | Anup K. Ghosh, Matthew Schmid |
An approach to testing COTS software for robustness to operating system exceptions and errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 10th International Symposium on Software Reliability Engineering, ISSRE, 1999, Boca Raton, FL, USA, November 1-4, 1999, pp. 166-174, 1999, IEEE Computer Society, 0-7695-0443-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Krall, Mark Probst |
Monitors and Exceptions: How to Implement Java Efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 10(11-13), pp. 837-850, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | David M. Papurt |
The Use of Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Oriented Program. ![In: J. Object Oriented Program. 11(2), pp. 13-17, 32, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
16 | Walter Daelemans, Antal van den Bosch, Jakub Zavrel |
Forgetting Exceptions is Harmful in Language Learning ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CL/9812021, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
16 | Valter Crescenzi, Giansalvatore Mecca |
Grammars Have Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 23(8), pp. 539-565, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Kwangkeun Yi |
An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 31(1), pp. 147-173, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Stuart E. Mitchell, Alan Burns 0001, Andy J. Wellings |
MOPping up Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 365-366, 1998, Springer, 3-540-65460-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Jérôme Mengin |
On the Logic of Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings. , pp. 23-27, 1998, John Wiley and Sons, 9780471984313. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
16 | Pierre St-Vincent, Paul Bratley, Daniel Poulin |
Negations and Exceptions on Topoï. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: Ninth International Workshop on Database and Expert Systems Applications, Vienna, Austria, August 24-28, 1998, Proceedings., pp. 603-608, 1998, IEEE Computer Society, 0-8186-8353-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
Non-monotonic inference system handling knowledge allowing classified exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998, pp. 1558-1563, 1998, IEEE, 0-7803-4778-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Leendert W. N. van der Torre, Yao-Hua Tan |
Reasoning About Exceptions (Extended Abstract). ![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. 405-408, 1997, Springer, 3-540-63493-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Kwangkeun Yi, Sukyoung Ryu |
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings, pp. 98-113, 1997, Springer, 3-540-63468-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Dianxiang Xu, Guoliang Zheng |
Towards a declarative semantics of inheritance with exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 11(1), pp. 61-71, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Geneviève Simonet |
On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 86(2), pp. 359-374, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Jean-François Monin |
Exceptions Considered Harmless. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 26(1-3), pp. 179-196, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Troels Andreasen, Henning Christiansen 0001 |
Counterfactual Exceptions in Deductive Database Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings, pp. 340-344, 1996, John Wiley and Sons, Chichester. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
16 | Pieter van Zee, Margaret M. Burnett, Maureen Chesire |
Retire Superman: Handling Exceptions Seamlessly in a Declarative Visual Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, Colorado, USA, September 3-6, 1996, pp. 222-230, 1996, IEEE Computer Society, 0-8186-7508-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Pekka Kilpeläinen, Derick Wood |
SGML and Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODP ![In: Principles of Document Processing, Third International Workshop, PODP'96, Palo Alto, California, USA, September 23, 1996, Proceedings, pp. 39-49, 1996, Springer, 3-540-63620-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Hubert Garavel, Mihaela Sighireanu |
On the Introduction of Exceptions in E-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996, pp. 469-484, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
16 | Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
A Query Procedure for Allowing Exceptions in Advanced Logical Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Proceedings of the Ninth International Conference, Fukuoka, Japan, June 4-7, 1996, pp. 127-134, 1996, Gordon and Breach Science Publishers, 90-5699-524-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
16 | K. Rustan M. Leino |
Constructing a Program with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 53(3), pp. 159-163, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Timothy K. Shih, Fuyau Lin |
An Operational Semantics Approach to Disciplined Exceptions in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Artif. Intell. ![In: Comput. Artif. Intell. 14(1), pp. 1-33, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | T. Mark Ellison |
Constraints, Exceptions and Representations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cmp-lg/9504022, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Heikki Saastamoinen |
Case study on exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Technol. People ![In: Inf. Technol. People 8(4), pp. 48-78, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Carl A. Gunter, Didier Rémy, Jon G. Riecke |
A Generalization of Exceptions and Control in ML-like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 12-23, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Jean-François Monin |
Extracting Programs with Exceptions in an Impredicative Type System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings, pp. 335-350, 1995, Springer, 3-540-60117-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Carl Bamford, Bryan Dollery |
OODREX: An Object-Oriented Design Tool for Reuse with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Proceedings of the 1995 International Conference on Object Oriented Information Systems, OOIS 1995, Dublin, Ireland, December 18-20, 1995, pp. 248-251, 1995, Springer, 3-540-76010-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Scheffer |
A Generic Algorithm for Learning Rules with Hierarchical Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995, Proceedings, pp. 181-190, 1995, Springer, 3-540-60436-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Defude, Hervé Martin, Anne Picault |
Un système de contrôle de l'activité de transactions basé sur des exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Onzièmes Journées Bases de Données Avancées, 29 Août - 1er Septembre 1995, Nancy, France (Informal Proceedings)., pp. 207-, 1995, INRIA. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
16 | Giuliano Armano |
Exceptions-Based Synthesis of Boolean Functions as a Core Mechanism to Perform Concept Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13, 1995, Proceedings, pp. 395-401, 1995, Springer, 3-540-60437-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Peter W. Eklund |
Research developments in multiple inheritance with exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Eng. Rev. ![In: Knowl. Eng. Rev. 9(1), pp. 21-55, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | L. Thorne McCarty, William W. Cohen |
The Case for Explicit Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods Log. Comput. Sci. ![In: Methods Log. Comput. Sci. 1(1), pp. 19-50, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Christophe Fouqueré, Jacqueline Vauzeilles |
Linear Logic and Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 4(6), pp. 859-876, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Pascal Coupey, Christophe Fouqueré |
Classer des concepts déefinis avec des déefauts et des exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMO ![In: Actes des journées Langages et Modèles à Objets, LMO'94. Grenoble, France, 13-14 octobre, pp. 69-80, 1994, INRIA Rhônes-Alpes - IMAG-LIFIA. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Luigi Liquori, Maria Luisa Sapino |
Dealing with Explicit Exceptions in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE (2) ![In: 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2, pp. 296-308, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Nick Bassiliades, Ioannis P. Vlahavas |
Modelling Constraints with Exceptions in Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Entity-Relationship Approach - ER'94, Business Modelling and Re-Engineering, 13th International Conference on the Entity-Relationship Approach, Manchester, UK, December 13-16, 1994, Proceedings, pp. 189-204, 1994, Springer, 3-540-58786-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | K. Rustan M. Leino, Jan L. A. van de Snepscheut |
Semantics of Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 447-466, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon |
Supporting Exceptions to Schema Consistency to Easy Schema Evolution on OODBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Dixièmes Journées Bases de Données Avancées, 30 Août - 2 Septembre 1994, Clermont-Ferrand, France (Informal Proceedings)., 1994, INRIA. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | T. Mark Ellison |
Constraints, Exceptions and Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMORPHON ![In: Computational Phonology, SIGPHON 1994, Las Cruces, New Mexico, USA, July 1, 1994, 1994, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Kwangkeun Yi |
Compile-time Detection of Uncaught Exceptions in Standard ML Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings, pp. 238-254, 1994, Springer, 3-540-58485-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Dana Angluin, Martins Krikis |
Learning with Malicious Membership Queries and Exceptions (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Proceedings of the Seventh Annual ACM Conference on Computational Learning Theory, COLT 1994, New Brunswick, NJ, USA, July 12-15, 1994., pp. 57-66, 1994, ACM, 0-89791-655-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon |
Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: VLDB'94, Proceedings of 20th International Conference on Very Large Data Bases, September 12-15, 1994, Santiago de Chile, Chile, pp. 108-119, 1994, Morgan Kaufmann, 1-55860-153-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Gabriel David |
Semantics of multiple inheritance with exceptions in hierarchically structured logic theories ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
16 | Nasr Ullah, Matt Holle |
The MC88110 implementation of precise exceptions in a superscalar architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGARCH Comput. Archit. News ![In: SIGARCH Comput. Archit. News 21(1), pp. 15-25, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Serge Garlatti |
Default Logic Models of Certain Inheritance Systems with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 18, pp. 129-149, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | |
New exceptions to copyright infringement for computer programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 9(3), pp. 113-119, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Pierre-Yves Schobbens |
Exceptions for Algebraic Specifications: On the Meaning of "but". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 20(1-2), pp. 73-111, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Brian Winner |
Investigation of implicitly raised Ada predefined exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADAS ![In: Proceedings of the Tenth Annual Washington Ada Symposium on Ada - Ada's Role in Software Engineering, WADAS 1993, McLean, Virginia, USA, June 28 - July 1, 1993, pp. 71-80, 1993, ACM, 978-0-89791-609-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Arul Siromoney, Rani Siromoney |
Variations and local exceptions in inductive logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Machine Intelligence 14 ![In: Machine Intelligence 14, Proceedings of the Fourteenth Machine Intelligence Workshop, held at Hitachi Advanced Research Laboratories, Tokyo, Japan, November 1993, pp. 213-234, 1993, Oxford University Press. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Grigoris Antoniou |
Version Space Algorithms on Hierarchies with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, pp. 136-149, 1993, Springer, 3-540-57287-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Jyrki Kivinen, Heikki Mannila, Esko Ukkonen |
Learning rules with local exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroCOLT ![In: Proceedings of the First European Conference on Computational Learning Theory, EuroCOLT 1993, London, UK, December 20-22, 1993., pp. 35-46, 1993, Oxford University Press, 0-19-853492-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Jürgen Schwille |
Use and Abuse of Exceptions - 12 Guidelines for Proper Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings, pp. 141-152, 1993, Springer, 3-540-56802-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Joseph A. Goguen, José Meseguer 0001 |
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 105(2), pp. 217-273, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|