Filters








134,831 Hits in 6.3 sec

Computing Circumscription Revisited: Preliminary Report

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
1995 International Joint Conference on Artificial Intelligence  
We provide a general method which can be used in an algorithmic manner to reduce certain classes of 2nd-order circumscription axioms to logically equivalent 1st order formulas The algorithm takes as input  ...  theories, we analyze its strength and provide formal subffumption results based on compan son with existing approaches  ...  complexity of both circumscription and the algorithm we propose.we will be forced to remain brief with preliminaries Consequently, we assume familiarity with the various types of circumscription and existing  ... 
dblp:conf/ijcai/DohertyLS95 fatcat:xquukt2efzc5dc36krjexzgv5a

Checking Containment of Schema Mappings (Preliminary Report)

Andrea Calì, Riccardo Torlone
2009 Alberto Mendelzon Workshop on Foundations of Data Management  
We argue that containment of schema mappings is decidable for most practical cases, and we set the basis for further investigations in the topic. This paper extends the preliminary results of [4] .  ...  Constraints are also expressed on the target schema to represent the domain of interest. A schema mapping is the union of the source-to-target and of the target constraints.  ...  Andrea Calì was partially supported by the EPSRC project EP/E010865/1 Schema Mappings and Automated Services for Data Integration and Exchange.  ... 
dblp:conf/amw/CaliT09 fatcat:xnebksd46fa77m4creph7bptda

Proof Planning for Feature Interactions: A Preliminary Report [chapter]

Claudio Castellini, Alan Smaill
2002 Lecture Notes in Computer Science  
FIs arise as an unwanted/unexpected behaviour in large telephone networks and have recently attracted interest not only from the Computer Science community but also from the industrial world.  ...  FIs arise as an unwanted/unexpected behaviour in large telephone networks and have recently attracted interest not only from the Computer Science community but also from the industrial world.  ...  Acknowledgements This work is being carried out at the University of Edinburgh and is supported by the EPSRC Grant GR/M46624, "Mechanising First-Order Temporal Logics".  ... 
doi:10.1007/3-540-36078-6_7 fatcat:zhqaurnyjzanjgjti65cn5fphy

Explanation of Terminological Reasoning: A Preliminary Report

Stefan Schlobach, Ronald Cornet
2003 International Workshop on Description Logics  
We discuss a number of alternative methods to explain incoherence of TBoxes, unsatisfiability of concepts and concept subsumption.  ...  The new services originate in the development of the DICE 1 terminology where the lack of appropriate debugging or explanation facilities hindered a more efficient (and possibly more concise) construction  ...  With this preliminary report we aim at introducing new mechanisms for explanation of DL reasoning.  ... 
dblp:conf/dlog/SchlobachC03 fatcat:mblpn3xpwbb2bdq53ag2qovc4u

Quasilinear algorithms for processing relational calculus expressions (preliminary report)

Dan E. Willard
1990 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '90  
Throughout this paper q will denote a query such that I is the number of tuples inputed into the query, and U is the number of tuples in its output.  ...  We will say that q has quasi-linear complexity iff for some constant d, it is executable in time O(U + I logdI) and space 0(1 + U).  ...  I thank Robert Paige for some suggestions about how to improve the style of presentation.  ... 
doi:10.1145/298514.298570 dblp:conf/pods/Willard90 fatcat:jpr5yh7smzeghjfbtidetdk3j4

Containment of Schema Mappings for Data Exchange (Preliminary Report) [article]

Andrea Calì, Riccardo Torlone
2013 arXiv   pre-print
We argue that containment of schema mappings is decidable for most practical cases, and we set the basis for further investigations in the topic. This paper extends our preliminary results.  ...  Constraints are also expressed on the target schema to represent the domain of interest. A schema mapping is the union of the source-to-target and of the target constraints.  ...  Andrea Calì was partially supported by the EPSRC project EP/E010865/1 Schema Mappings and Automated Services for Data Integration and Exchange.  ... 
arXiv:1312.5912v2 fatcat:e7n7utqegjf5rhxwyvwvad2e6a

Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report [chapter]

Yuqing Tang, Timothy J. Norman, Simon Parsons
2011 Lecture Notes in Computer Science  
As a result, the argumentation can be computed in polynomial number of BDD operations on the number of input sentences. H is called the support and h is called the conclusion of the argument.  ...  In the approach, sets of arguments and defeats are encoded into BDDs so that an argumentation process can work on a set of arguments and defeats simultaneously in one BDD operation.  ...  Army Research Laboratory and the U.K. Ministry of Defence and was accomplished under Agreement Number W911NF-06-3-0001.  ... 
doi:10.1007/978-3-642-21940-5_16 fatcat:53touxay5nhh5h4fcanexzcmvq

Focusing the Inverse Method for LF: A Preliminary Report

Brigitte Pientka, Xi Li, Florent Pompigne
2008 Electronical Notes in Theoretical Computer Science  
Section 6, we discuss implementation issues, and report on some some preliminary results for the Horn fragment and compare it to the tabled higher-order logic programming engine.  ...  However, a critical potential bottleneck in this system is that the memo-table may grow large and there are a large number of suspended goals.  ...  Next, we represent each inference rule in the object-language as a clause consisting of nested universal quantifiers and implications.  ... 
doi:10.1016/j.entcs.2007.09.020 fatcat:whctsadguvfojg3oowo43zgska

Counter Simulations via Higher Order Quantifier Elimination: a preliminary report

Silvio Ghilardi, Elena Pagani
2017 Electronic Proceedings in Theoretical Computer Science  
We demonstrate the feasibility of the approach with a prototype implementation and first experiments.  ...  Such abstractions can sometimes be justified via simulations and bisimulations.  ...  of 0-values received by x and R 1 (x) is the number of 1-values received by x).  ... 
doi:10.4204/eptcs.262.5 fatcat:6qqqxjl2kbaddm735gszgiwkfq

Large-scale Analysis of Chess Games with Chess Engines: A Preliminary Report [article]

Mathieu Acher
2016 arXiv   pre-print
In this paper, we report our effort to analyse almost 5 millions chess games with a computing grid.  ...  when computing billions of moves.  ...  We would like to thank our colleagues at DiverSE (http://diverse. irisa.fr) for their discussions and feedbacks.  ... 
arXiv:1607.04186v1 fatcat:y3f5tlmecjemxo7j46tstqydly

The competence/performance dichotomy in programming preliminary report

Vaughan R. Pratt
1977 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77  
We consider the problem of automating some of the duties of programmers.  ...  We focus on what we feel is a sensible next step, the problem of automating aspects of control.  ...  Though we are unaware of any published work in computer science that explicitly draws attention to the distinction between competence and performance, the idea is implicit in a number of places.  ... 
doi:10.1145/512950.512968 dblp:conf/popl/Pratt77 fatcat:ttgoqgv2enfytfwbxgvzkzxjbm

LiftWEC Deliverable D3.2: Preliminary assessment of computational capability report

Gerrit Olbert, Martin Scharf
2020 Zenodo  
preliminary assessment.  ...  This deliverable shows a preliminary assessment of the performance of the employed numerical tools for the purpose of hydrodynamic modelling within the LiftWEC project.  ...  INTRODUCTION This report presents a preliminary assessment of computational capability for two fully numerical tools used for the computation of hydrodynamics in the scope of the LiftWEC project.  ... 
doi:10.5281/zenodo.5645378 fatcat:m57a6lzfgncrjjs4kf3zaklndm

Automata for dynamic answer set solving: Preliminary report [article]

Pedro Cabalar
2021 arXiv   pre-print
Since this preliminary study is restricted to dynamic formulas in integrity constraints, its implementations and (empirical) results readily apply to conventional linear dynamic logic, too.  ...  What makes this approach attractive is its independence of time stamps and the potential to detect unsatisfiability.  ...  a sequence of existential monadic secondorder quantifiers followed by a single universal first-order quantifier.  ... 
arXiv:2109.01782v1 fatcat:oy5ichw4nrhfhefewzrgstvyiq

ALGAL-RELATED TASTES AND ODORS IN PHOENIX WATER SUPPLY: PRELIMINARY REPORT

Q. Hu, T. Dempster, D. Lowry, M. Sommerfeld, P. Westerhoff, D. Bruce, M. L. Nguyen, L. Baker
2000 Journal of Phycology  
Low ratios of linolenic acid to DHA in phototrophic G. galatheanum (0.14) relative to mixotrophic G. galatheanum (0.29) and prey (2.14) are consistent with substrate limitation of LC-PUFA synthesis in  ...  G. galatheanum , like many photosynthetic dinoflagellates, contains high amounts of n-3 long-chain-polyunsaturated fatty acids (LC-PUFA) such as docosahexaenoic acid (DHA, 22:6n-3) and the hemolytic toxic  ...  An aspect that has received only limited attention is the effect of the infections on host fitness, and in this context, we report a first attempt to quantifying the effects of Pleurocapsa sp.  ... 
doi:10.1046/j.1529-8817.1999.00001-96.x fatcat:a2iv4apfj5fzxnv2ianindba7y

SEASONAL SUCCESSION OF PHYTOPLANKTON IN LAKE PRINCE, SUFFOLK, VIRGINIA: PRELIMINARY REPORT

C.M Muscio
2000 Journal of Phycology  
Low ratios of linolenic acid to DHA in phototrophic G. galatheanum (0.14) relative to mixotrophic G. galatheanum (0.29) and prey (2.14) are consistent with substrate limitation of LC-PUFA synthesis in  ...  G. galatheanum , like many photosynthetic dinoflagellates, contains high amounts of n-3 long-chain-polyunsaturated fatty acids (LC-PUFA) such as docosahexaenoic acid (DHA, 22:6n-3) and the hemolytic toxic  ...  An aspect that has received only limited attention is the effect of the infections on host fitness, and in this context, we report a first attempt to quantifying the effects of Pleurocapsa sp.  ... 
doi:10.1046/j.1529-8817.1999.00001-150.x fatcat:thpicahhzbhijhouacdn2a6bpq
« Previous Showing results 1 — 15 out of 134,831 results