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. |
WWW |
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. |
ICAIL |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Emmanuel Beffara, Vincent Danos |
Disjunctive normal forms and local exceptions. |
ICFP |
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. |
SMC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Hervé Déjean |
Learning Rules and Their Exceptions. |
J. Mach. Learn. Res. |
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. |
Formal Methods Syst. Des. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Kwangkeun Yi, Sukyoung Ryu |
A cost-effective estimation of uncaught exceptions in Standard ML programs. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Mauricio Minuto Espil, Alejandro A. Vaisman, Leonardo Terribile |
Revising data cubes with exceptions: a rule-based perspective. |
DMDW |
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. |
ACSC |
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. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
16 | Benjamin N. Grosof, Terrence C. Poon |
Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. |
RuleML |
2002 |
DBLP BibTeX RDF |
|
16 | Germain Faure, Claude Kirchner |
Exceptions in the Rewriting Calculus. |
RTA |
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) |
|
2002 |
RDF |
|
16 | Rey-Long Liu, Meng-Jung Shih, Yu-Fen Kao |
Adaptive Exception Monitoring Agents for Management by Exceptions. |
Appl. Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Herman Jurjus, Harrie C. M. de Swart |
Implication with Possible Exceptions. |
J. Symb. Log. |
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. |
Int. J. Parallel Program. |
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. |
Markup Lang. |
2001 |
DBLP BibTeX RDF |
|
16 | Pekka Kilpeläinen, Derick Wood |
SGML and XML Document Grammars and Exceptions. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Michael M. J. Zastre, R. Nigel Horspool |
Exploiting exceptions. |
Softw. Pract. Exp. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
A Core Calculus for Java Exceptions. |
OOPSLA |
2001 |
DBLP DOI BibTeX RDF |
|
16 | James Laird |
A Fully Abstract Game Semantics of Local Exceptions. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky |
Open Multithreaded Transactions: Keeping Threads and Exceptions under Control. |
WORDS |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita |
Learning maximal structure fuzzy rules with exceptions. |
EUSFLAT Conf. |
2001 |
DBLP BibTeX RDF |
|
16 | Bráulio Coelho Ávila, Fernanda Hembecker |
Inconsistencies, Exceptions and Frame Systems. |
SCCC |
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). |
|
2001 |
RDF |
|
16 | Mark Klein, Chrysanthos Dellarocas |
A Knowledge-based Approach to Handling Exceptions in Workflow Systems. |
Comput. Support. Cooperative Work. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Guido Vanackere |
HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions. |
J. Appl. Non Class. Logics |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Chrysanthos Dellarocas, Mark Klein |
A knowledge-based approach for handling exceptions in business processes. |
Inf. Technol. Manag. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Nerman Jurrjus, Harrie C. M. de Swart |
Implication-with-possible-exceptions. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
16 | Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas |
Verifying Advanced Microarchitectures that Support Speculation and Exceptions. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki |
Specifying and Querying Database Repairs using Logic Programs with Exceptions. |
FQAS |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Jeff Polakow, Kwangkeun Yi |
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. |
APLAS |
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. |
KDD |
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. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
16 | Scott A. Moore |
On Conversation Policies and the Need for Exceptions. |
Issues in Agent Communication |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones |
Imprecise Exceptions, Co-Inductively. |
HOOTS |
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. |
ACM SIGSOFT Softw. Eng. Notes |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Walter Daelemans, Antal van den Bosch, Jakub Zavrel |
Forgetting Exceptions is Harmful in Language Learning. |
Mach. Learn. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Mark Lillibridge |
Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC. |
High. Order Symb. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Fabio Casati, Maria Grazia Fugini, Isabelle Mirbel |
An Environment for Designing Exceptions in Workflows. |
Inf. Syst. |
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! |
Interact. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Norman Ramsey |
Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions. |
Comput. J. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Kecheng Liu, Tina Ong |
A Modelling Approach for Handling Business Rules and Exceptions. |
Comput. J. |
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. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
Java |
16 | François Pessaux, Xavier Leroy |
Type-Based Analysis of Uncaught Exceptions. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
ML |
16 | Sophia Drossopoulou |
Java Type System with Exceptions. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
16 | Alexander Borgida, Takahiro Murata |
Tolerating exceptions in workflows: a unified framework for data and processes. |
WACC |
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. |
ISSRE |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Krall, Mark Probst |
Monitors and Exceptions: How to Implement Java Efficiently. |
Concurr. Pract. Exp. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | David M. Papurt |
The Use of Exceptions. |
J. Object Oriented Program. |
1998 |
DBLP BibTeX RDF |
|
16 | Walter Daelemans, Antal van den Bosch, Jakub Zavrel |
Forgetting Exceptions is Harmful in Language Learning |
CoRR |
1998 |
DBLP BibTeX RDF |
|
16 | Valter Crescenzi, Giansalvatore Mecca |
Grammars Have Exceptions. |
Inf. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Kwangkeun Yi |
An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Stuart E. Mitchell, Alan Burns 0001, Andy J. Wellings |
MOPping up Exceptions. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Jérôme Mengin |
On the Logic of Exceptions. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
16 | Pierre St-Vincent, Paul Bratley, Daniel Poulin |
Negations and Exceptions on Topoï. |
DEXA Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
Non-monotonic inference system handling knowledge allowing classified exceptions. |
SMC |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Leendert W. N. van der Torre, Yao-Hua Tan |
Reasoning About Exceptions (Extended Abstract). |
KI |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Kwangkeun Yi, Sukyoung Ryu |
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Dianxiang Xu, Guoliang Zheng |
Towards a declarative semantics of inheritance with exceptions. |
J. Comput. Sci. Technol. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Geneviève Simonet |
On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions. |
Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Jean-François Monin |
Exceptions Considered Harmless. |
Sci. Comput. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Troels Andreasen, Henning Christiansen 0001 |
Counterfactual Exceptions in Deductive Database Queries. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
16 | Pieter van Zee, Margaret M. Burnett, Maureen Chesire |
Retire Superman: Handling Exceptions Seamlessly in a Declarative Visual Programming Language. |
VL |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Pekka Kilpeläinen, Derick Wood |
SGML and Exceptions. |
PODP |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Hubert Garavel, Mihaela Sighireanu |
On the Introduction of Exceptions in E-LOTOS. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
16 | Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
A Query Procedure for Allowing Exceptions in Advanced Logical Database. |
IEA/AIE |
1996 |
DBLP BibTeX RDF |
|
16 | K. Rustan M. Leino |
Constructing a Program with Exceptions. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Timothy K. Shih, Fuyau Lin |
An Operational Semantics Approach to Disciplined Exceptions in Logic Programming. |
Comput. Artif. Intell. |
1995 |
DBLP BibTeX RDF |
|
16 | T. Mark Ellison |
Constraints, Exceptions and Representations |
CoRR |
1995 |
DBLP BibTeX RDF |
|
16 | Heikki Saastamoinen |
Case study on exceptions. |
Inf. Technol. People |
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. |
FPCA |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Jean-François Monin |
Extracting Programs with Exceptions in an Impredicative Type System. |
MPC |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Carl Bamford, Bryan Dollery |
OODREX: An Object-Oriented Design Tool for Reuse with Exceptions. |
OOIS |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Scheffer |
A Generic Algorithm for Learning Rules with Hierarchical Exceptions. |
SBIA |
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. |
BDA |
1995 |
DBLP BibTeX RDF |
|
16 | Giuliano Armano |
Exceptions-Based Synthesis of Boolean Functions as a Core Mechanism to Perform Concept Learning. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Peter W. Eklund |
Research developments in multiple inheritance with exceptions. |
Knowl. Eng. Rev. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | L. Thorne McCarty, William W. Cohen |
The Case for Explicit Exceptions. |
Methods Log. Comput. Sci. |
1994 |
DBLP BibTeX RDF |
|
16 | Christophe Fouqueré, Jacqueline Vauzeilles |
Linear Logic and Exceptions. |
J. Log. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Pascal Coupey, Christophe Fouqueré |
Classer des concepts déefinis avec des déefauts et des exceptions. |
LMO |
1994 |
DBLP BibTeX RDF |
|
16 | Luigi Liquori, Maria Luisa Sapino |
Dealing with Explicit Exceptions in Prolog. |
GULP-PRODE (2) |
1994 |
DBLP BibTeX RDF |
|
16 | Nick Bassiliades, Ioannis P. Vlahavas |
Modelling Constraints with Exceptions in Object-Oriented Databases. |
ER |
1994 |
DBLP DOI BibTeX RDF |
|
16 | K. Rustan M. Leino, Jan L. A. van de Snepscheut |
Semantics of Exceptions. |
PROCOMET |
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. |
BDA |
1994 |
DBLP BibTeX RDF |
|
16 | T. Mark Ellison |
Constraints, Exceptions and Representations. |
SIGMORPHON |
1994 |
DBLP BibTeX RDF |
|
16 | Kwangkeun Yi |
Compile-time Detection of Uncaught Exceptions in Standard ML Programs. |
SAS |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Dana Angluin, Martins Krikis |
Learning with Malicious Membership Queries and Exceptions (Extended Abstract). |
COLT |
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. |
VLDB |
1994 |
DBLP BibTeX RDF |
|
16 | Gabriel David |
Semantics of multiple inheritance with exceptions in hierarchically structured logic theories |
|
1994 |
RDF |
|
16 | Nasr Ullah, Matt Holle |
The MC88110 implementation of precise exceptions in a superscalar architecture. |
SIGARCH Comput. Archit. News |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Serge Garlatti |
Default Logic Models of Certain Inheritance Systems with Exceptions. |
Fundam. Informaticae |
1993 |
DBLP BibTeX RDF |
|
16 | |
New exceptions to copyright infringement for computer programs. |
Comput. Law Secur. Rev. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Pierre-Yves Schobbens |
Exceptions for Algebraic Specifications: On the Meaning of "but". |
Sci. Comput. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Brian Winner |
Investigation of implicitly raised Ada predefined exceptions. |
WADAS |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Arul Siromoney, Rani Siromoney |
Variations and local exceptions in inductive logic programming. |
Machine Intelligence 14 |
1993 |
DBLP BibTeX RDF |
|
16 | Grigoris Antoniou |
Version Space Algorithms on Hierarchies with Exceptions. |
EPIA |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Jyrki Kivinen, Heikki Mannila, Esko Ukkonen |
Learning rules with local exceptions. |
EuroCOLT |
1993 |
DBLP BibTeX RDF |
|
16 | Jürgen Schwille |
Use and Abuse of Exceptions - 12 Guidelines for Proper Exception Handling. |
Ada-Europe |
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. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|