An integrated Prolog programming environment
ACM SIGPLAN Notices
Revisiting quantification in autoepistemic logic
ACM Transactions on Computational Logic (TOCL)
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence
Logic of Change: Semantics of Object Systemswith Active Relations
Automated Software Engineering
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Proof Length as an Uncertainty Factor in ILP
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Maximal Expansions of Database Updates
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Monotone Expansion of Updates in Logical Databases
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Verification of Parameterized Systems Using Logic Program Transformations
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Open Default Theories over Closed Domains
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Towards Combining Inductive Logic Programming with Bayesian Networks
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Inductively Verifying Invariant Properties of Parameterized Systems
Automated Software Engineering
An unfold/fold transformation framework for definite logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming
Default theories over monadic languages
Theoretical Computer Science - Logic, language, information and computation
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
Theory and Practice of Logic Programming
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Logic circuit synthesis preserving correctness using ET rules
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning
Journal of Logic, Language and Information
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Logic Programs under Three-Valued Łukasiewicz Semantics
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Semiring-based constraint logic programming
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Default Theories Over Monadic Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Goal-independent suspension analysis for logic programs with dynamic scheduling
ESOP'03 Proceedings of the 12th European conference on Programming
Rule-based composite event queries: the language XChangeEQ and its semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Core TuLiP logic programming for trust management
ICLP'07 Proceedings of the 23rd international conference on Logic programming
PAPEL: a language and model for provenance-aware policy definition and execution
BPM'10 Proceedings of the 8th international conference on Business process management
Learning figures with the hausdorff metric by fractals
ALT'10 Proceedings of the 21st international conference on Algorithmic learning theory
The core method: connectionist model generation
ICANN'06 Proceedings of the 16th international conference on Artificial Neural Networks - Volume Part II
Probabilistic first-order theory revision from examples
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
A description logic for inferencenet.br
PROPOR'12 Proceedings of the 10th international conference on Computational Processing of the Portuguese Language
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Logic Programming Representation of the Compound Term Composition Algebra
Fundamenta Informaticae
Graphs and Colorings for Answer Set Programming with Preferences
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
First-order Non-monotonic Modal Logics
Fundamenta Informaticae
An incremental learning algorithm for extended mealy automata
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Data exchange in datalog is mainly a matter of choice
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
ONTOarg: A decision support framework for ontology integration based on argumentation
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |