Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Joachim Peer |
Bringing Together Semantic Web and Web Services. |
ISWC |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Chris Mellish |
DCGs: Parsing as Deduction? |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Christopher Lynch, Barbara Morawska 0001 |
Basic Syntactic Mutation. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Cesare Tinelli |
Combining Decision Procedures for Positive Theories Sharing Constructors. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Gianluca Amato, Francesca Scozzari |
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Christopher Lynch, Barbara Morawska 0001 |
Complexity of Linear Standard Theories. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ole Lehrmann Madsen |
Virtual Classes and Their Implementation. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Samir Genaim, Michael Codish |
The Def-inite Approach to Dependency Analysis. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Éric Villemonte de la Clergerie |
Natural Language Tabular Parsing. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Lux |
Adding Linear Constraints over Real Numbers to Curry. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Kenneth D. Boese, Andrew B. Kahng, Stefanus Mantik |
On the relevance of wire load models. |
SLIP |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Sergio Antoy, Rachid Echahed, Michael Hanus |
A needed narrowing strategy. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
call-by-need, narrowing strategies, rewrite systems, functional logic programming languages |
15 | Guillem Godoy, Robert Nieuwenhuis |
Paramodulation with Built-in Abelian Groups. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
term rewriting, automated deduction |
15 | Reinhard Pichler |
Negation Elimination from Simple Equational Formulae. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Anatoly E. Voevudko |
Steps Toward Next Generation Computer Based Systems. |
ECBS |
1999 |
DBLP DOI BibTeX RDF |
Processor based architecture, unified linguistic and access support, scripting and programming languages, distributed systems, integration, operating systems, software, hardware, portability, Web-based systems |
15 | Christophe Ringeissen, Éric Monfroy |
Generating Propagation Rules for Finite Domains: A Mixed Approach. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Salimeh Behnia, Hélène Waeselynck |
Test Criteria Definition for B Models. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Atsushi Ohori, Nobuaki Yoshida |
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Kunihiko Sadakane |
A Modified Burrows-Wheeler Transformation for Case-Insensitive Search with Application to Suffix Array Compression. |
Data Compression Conference |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Shigeki Hagihara, Naoki Yonezaki |
Resolution Method for Modal Logic with Well-Founded Frames. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
15 | María Alpuente, Moreno Falaschi, Germán Vidal |
Partial Evaluation of Functional Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation |
15 | Miki Hermann, Gernot Salzer |
On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Harald Ganzinger, Florent Jacquemard, Margus Veanes |
Rigid Reachability. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Karsten Schmidt 0004 |
Verification of Siphons and Traps for Algebraic Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
THEORY: Analysis and synthesis, Higher level net models, structure and behaviour of nets |
15 | Sabrina Mantaci, Daniele Micciancio |
An Algorithm for the Solution of Tree Equations. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
15 | C. A. R. Hoare, Jifeng He 0001 |
Unifying Theories for Parallel Programming. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Xining Li |
Program Sharing: A New Implementation Approach for Prolog. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Jürgen Stuber |
Superposition Theorem Proving for Albelian Groups Represented as Integer Modules. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Herbert Kuchen, Josef Anastasiadis |
Higher Order Babel: Language and Implementation. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Klaus U. Schulz |
Combination of Constraint Solving Techniques: An Algebraic POint of View. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Gerda Janssens, Maurice Bruynooghe, Vincent Englebert |
Abstracting Numerical Values in CLP(H, N). |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
15 | A. J. Kfoury, J. B. Wells |
A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
ML |
15 | Andrew Kennedy |
Dimension Types. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Phillip C.-Y. Sheu, Song Bong Yoo |
A Knowledge-based Program Transformation System |
CAiSE |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Bertil Folliot, Pierre Sens 0001 |
GATOSTAR: A Fault Tolerant Load Sharing Facility for Parallel Applications. |
EDCC |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Stan Z. Li |
Markov Random Field Models in Computer Vision. |
ECCV (2) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Klaus U. Schulz |
Combination Techniques and Decision Problems for Disunification. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli |
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Harold Boley |
Finite Domains and Exclusions as First-Class Citizens. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
15 | António L. Furtado 0001 |
Analogy by generalization - and the quest of the grail. |
ACM SIGPLAN Notices |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Gary Lindstrom, Jan Maluszynski, Takeshi Ogi |
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Nipkow, Lawrence C. Paulson |
Isabelle-91. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Jane Hesketh, Alan Bundy, Alan Smaill |
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Natraj Arni, Sergio Greco, Domenico Saccà |
Set-Term Matching in Logic Programming. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Hans-Joachim Goltz |
A Constructive Type System Based on Data Terms. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi |
Embedding Finite Sets in a Logic Programming Language. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Hassan Aït-Kaci, Andreas Podelski |
Logic Programming with Functions over Order-Sorted Feature Terms. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
15 | James K. McDowell, Mark A. Kramer, James F. Davis |
Guest Editor's Introduction. |
IEEE Expert |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Robert M. MacGregor, Mark H. Burstein |
Using a Description Classifier to Enhance Knowledge Representation. |
IEEE Expert |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Henhapl, Stefan Kaes, Gregor Snelting |
Utilizing Fifth Generation Technology in Software Development Tools. |
Software Development Environments and CASE Technology |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe Attardi, Mauro Gaspari |
Multilanguage Interoperability. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Rita Loogen |
From Reduction Machines To Narrowing Machines. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Tsau Young Lin |
Relational Data Models and Category Theory (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Ursula Martin, Tobias Nipkow |
Ordered Rewriting and Confluence. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Hans-Jürgen Bürckert |
A Resolution Principle for Clauses with Constraints. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
15 | David J. Pym, Lincoln A. Wallen |
Investigations into Proof-Search in a System of First-Order Dependent Function Types. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Hans Leiß |
Polymorphic Constructs in Natural and Programming Languages. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Mark E. Stickel |
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Katherine A. Yelick, Joseph L. Zachary |
Moded Type Systems for Logic Programming. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Hiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai |
cu-Prolog and its Application to a JPSG Parser. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Milind Gandhe, G. Venkatesh |
Improving Prolog Performance by Inductive Proof Generalizations. |
KBCS |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Kam-Fai Wong, M. Howard Williams |
A Type Driven Hardware Engine for Prolog Clause Retrieval over a Large Knowledge Base. |
ISCA |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
15 | Isabelle Attali |
Compiling TYPOL with Attribute Grammars. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Frank Pfenning, Conal Elliott |
Higher-Order Abstract Syntax. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
15 | K. S. H. S. R. Bhatta, Harish Karnick |
A Resolution Rule for Well-Formed Formulae. |
FSTTCS |
1988 |
DBLP DOI BibTeX RDF |
|
15 | H. B. M. Jonkers |
Description Algebra. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Hans-Albert Schneider |
An Improvement of Deduction Plans: Refutation Plans. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Cynthia Dwork, Paris C. Kanellakis, Larry J. Stockmeyer |
Parallel Algorithms for Term Matching. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Kiyoshi Akama |
Inheritance Hierarchy Mechanism in Prolog. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Jieh Hsiang, Mandayam K. Srivas |
A PROLOG Environment for Developing and Reasoning about Data Types. |
TAPSOFT, Vol.2 |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Gary Lindstrom |
Functional Programming and the Logical Variable. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Alexis Koster |
Compiling prolog programs for parallel execution on a cellular machine. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Yingjie Mei, Yongmeng Liu, Jiahao Li, Huilin Wu, Chuanzhi Sun, Dawei Wang 0007, Jiubin Tan |
Digital Twin of Large-Scale Coaxiality Measuring Instrument With Six Dimensions: Realizing the Unification of Aeroengine Rotors Measurement and Assembly. |
IEEE Trans. Ind. Informatics |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Abir U. Igamberdiev |
Biological thermodynamics: Ervin Bauer and the unification of life sciences and physics. |
Biosyst. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Franziska Schropp, Thomas E. Konrad, Marie Revellio, Barbara Feichtinger |
Transmission problems? An embedded approach for unification of Latin prefixes and text variants during text matching. |
Digit. Scholarsh. Humanit. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Chengcheng Zhang, Tianyi Zang, Tianyi Zhao |
KGE-UNIT: toward the unification of molecular interactions prediction based on knowledge graph and multi-task learning on drug discovery. |
Briefings Bioinform. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Chunlei Peng, Zimo Kong, Decheng Liu, Nannan Wang 0001, Xinbo Gao 0001 |
Disguised Heterogeneous Face Generation With Iterative-Adversarial Style Unification. |
IEEE Trans. Multim. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Marcin Jan Schroeder |
Theoretical Unification of the Fractured Aspects of Information. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Yulan Hu, Sheng Ouyang, Zhirui Yang, Ge Chen, Junchen Wan, Xiao Wang, Yong Liu |
Exploring Task Unification in Graph Representation Learning via Generative Approach. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Yingbo Hua, Md Saydur Rahman |
Unification of Secret Key Generation and Wiretap Channel Transmission. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson 0001 |
Superposition with Delayed Unification. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Koji Hashimoto, Yuji Hirono, Akiyoshi Sannai |
Unification of Symmetries Inside Neural Networks: Transformer, Feedforward and Neural ODE. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Jiahao Nie 0001, Zhiwei He, Xudong Lv, Xueyi Zhou, Dong-Kyu Chae, Fei Xie |
Towards Category Unification of 3D Single Object Tracking on Point Clouds. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Théophile Champion, Howard Bowman, Dimitrije Markovic, Marek Grzes |
Reframing the Expected Free Energy: Four Formulations and a Unification. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Emanuele Sansone, Robin Manhaeve |
A Bayesian Unification of Self-Supervised Clustering and Energy-Based Models. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Xiaonan Li, Yucong Yan |
Three-way decision: a unification of two-universe models of rough sets. |
Appl. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Ike Mulder, Robbert Krebbers |
Unification for Subformula Linking under Quantifiers. |
CPP |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Magnus Madsen, Jaco van de Pol, Troels Henriksen |
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova |
babble: Learning Better Abstractions with E-Graphs and Anti-unification. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ziyu Shen, Wenbin Shen 0001, Shuangxi Zhang, C. K. Shum, Tengxu Zhang, Lin He, Zhan Cai, Si Xiong, Lingxuan Wang |
Unification of a Global Height System at the Centimeter-Level Using Precise Clock Frequency Signal Links. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Shang Jiang, Jian Zhang 0041, Weiguo Wang, Yingjun Wang |
Automatic Inspection of Bridge Bolts Using Unmanned Aerial Vision and Adaptive Scale Unification-Based Deep Learning. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Alexandros Syrakos, Oliver F. Oxtoby, Eugene De Villiers, Stylianos Varchanis, Yannis Dimakopoulos, John Tsamopoulos |
A unification of least-squares and Green-Gauss gradients under a common projection-based gradient reconstruction framework. |
Math. Comput. Simul. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ron Cottam, Roger Vounckx |
Entropy is better related to unification than to order. |
Biosyst. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Florin F. Nichita |
Unification Theories: Rings, Boolean Algebras and Yang-Baxter Systems. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yi Han, Hao Zhu 0009, Licheng Jiao, Xiaoyu Yi 0002, Xiaotong Li, Biao Hou, Wenping Ma 0001, Shuang Wang 0001 |
SSMU-Net: A Style Separation and Mode Unification Network for Multimodal Remote Sensing Image Classification. |
IEEE Trans. Geosci. Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Paolo Aglianò, Sara Ugolini |
Projectivity and unification in substructural logics of generalized rotations. |
Int. J. Approx. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mieczyslaw Cichon, Burcu Silindir, Ahmet Yantir, Seçil Gergün |
Generalized Polynomials and Their Unification and Extension to Discrete Calculus. |
Symmetry |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Paolo Di Sia |
Symmetry and the Nanoscale: Advances in Analytical Modeling in the Perspective of Holistic Unification. |
Symmetry |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ismail Shahin, Ali Bou Nassif, Rameena Thomas, Shibani Hamsa |
Novel Task-Based Unification and Adaptation (TUA) Transfer Learning Approach for Bilingual Emotional Speech Data. |
Inf. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Daniela Ponce, Martina Husáková, Tomás Nacházel, Vladimír Bures, Pavel Cech, Peter Mikulecký, Kamila Stekerová, Petr Tucník, Marek Zanker, Karel Mls, Ioanna Triantafyllou, Frantisek Babic |
Unification of tsunami-related terminology: Ontology engineering perspective. |
Comput. Geosci. |
2023 |
DBLP DOI BibTeX RDF |
|