Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarHarold Boley
Person information
- affiliation: University of New Brunswick, NB, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
[c108]Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens:
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. RuleML+RR 2019: 52-66- 2018
- [c107]Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas
, Panayiotis Frangos:
Object-Relational Rules for Medical Devices: Classification and Conformity. OTM Conferences (2) 2018: 584-591 - [c106]Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos:
Computational Regulation of Medical Devices in PSOA RuleML. RuleML+RR 2018: 203-210 - [c105]Lukas Grätz, Harold Boley, Adrian Paschke:
PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine. RuleML+RR (Supplement) 2018 - 2017
- [c104]Zainab Almugbel, Harold Boley:
Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator. RuleML+RR (Supplement) 2017 - [c103]Gen Zou, Harold Boley, Dylan Wood, Kieran Lea:
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic. RuleML+RR (Supplement) 2017 - [i2]Harold Boley, Gen Zou:
Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation. CoRR abs/1712.02869 (2017) - 2016
- [c102]Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley:
Semantic computing of simplicity in attributed generalized trees. ICCI*CC 2016: 244-251 - [c101]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker:
Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases. IDEAS 2016: 248-255 - [c100]Harold Boley:
The RuleML Knowledge-Interoperation Hub. RuleML 2016: 19-33 - [c99]Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha:
Translating Higher-Order Modal Logic from RuleML to TPTP. RuleML (Supplement) 2016 - [c98]Gen Zou, Harold Boley:
Minimal Objectification and Maximal Unnesting in PSOA RuleML. RuleML 2016: 130-147 - [c97]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker:
Automated generation of SADI semantic web services for clinical intelligence. SBD@SIGMOD 2016: 6 - 2015
- [c96]Sudhir Agarwal, Abhijeet Mohapatra, Michael R. Genesereth, Harold Boley:
Rule-Based Exploration of Structured Data in the Browser. RuleML 2015: 161-175 - [c95]Tara Athan, Harold Boley, Adrian Paschke:
RuleML 1.02: Deliberation, Reaction and Consumer Families. Challenge+DC@RuleML 2015 - [c94]Gen Zou, Harold Boley:
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog. RuleML 2015: 176-192 - [c93]Harold Boley:
PSOA RuleML: Integrated Object-Relational Data and Rules. Reasoning Web 2015: 114-150 - [c92]Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley:
Similarity of Attributed Generalized Tree Structures: A Comparative Study. SISAP 2015: 150-161 - [c91]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker:
Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings. SWAT4LS 2015: 203-204 - 2014
- [c90]Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley:
A fuzzy structure similarity algorithm for attributed generalized trees. ICCI*CC 2014: 203-210 - [c89]Tara Athan, Harold Boley:
The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice. Challenge+DC@RuleML 2014 - [c88]Harold Boley, Rolf Grütter, Gen Zou, Tara Athan, Sophia Etzold:
A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research. RuleML 2014: 112-126 - [c87]Benjamin Dönz, Harold Boley:
Extracting Data from the Deep Web with Global-as-View Mediators Using Rule-Enriched Semantic Annotations. Challenge+DC@RuleML 2014 - [c86]Adrian Paschke, Harold Boley:
Distributed Rule-based Agents with Rule Responder and Reaction RuleML 1.0. Challenge+DC@RuleML 2014 - [c85]Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley:
Structure Similarity of Attributed Generalized Trees. ICSC 2014: 100-107 - 2013
- [j21]Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley:
Rule-based validation of SLA choreographies. The Journal of Supercomputing 63(1): 24-45 (2013) - [c84]Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley:
Combined Structure-Weight Graph Similarity and its Application in E-Health. CSWS 2013: 12-18 - [c83]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker:
Generating Semantic Web Services from Declarative Descriptions. CSWS 2013: 33-36 - [c82]Ismail Akbari, Bo Yan, Junyan Zhang, Harold Boley:
Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog. CSWS 2013: 56-57 - [c81]Rémi Bastide, Harold Boley, Amadou Sienou, Matthew Smith:
Track F: Healthcare and sustainable living. DEST 2013: 1 - [c80]Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner:
OASIS LegalRuleML. ICAIL 2013: 3-12 - [c79]Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner:
LegalRuleML: From Metamodel to Use Cases - (A Tutorial). RuleML 2013: 13-18 - [c78]Harold Boley:
Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules. RuleML 2013: 52-67 - [c77]Martin Koch, Sven Schmidt, Harold Boley, Rainer Herpers:
Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG. RuleML (2) 2013 - [c76]Jidi Zhao, Harold Boley, Jing Dong:
A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW (LNCS Vol.) 2013: 197-216 - 2012
- [j20]Kalliopi Kravari, Nick Bassiliades, Harold Boley:
Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder. Expert Syst. Appl. 39(10): 9571-9587 (2012) - [j19]Kalliopi Kravari, Nick Bassiliades, Harold Boley:
Erratum to "Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder" [Expert Systems with Applications 39 (10) (2012) 9571-9587]. Expert Syst. Appl. 39(18): 13549 (2012) - [c75]Christian Fabbricatore, Harold Boley, Achim P. Karduck:
Machine learning for resource management in smart environments. DEST 2012: 1-6 - [c74]Liam Paull, Gaëtan Séverac, Guilherme V. Raffo, Julian Mauricio Angel, Harold Boley, Phillip J. Durst, Wendell Gray, Maki K. Habib, Bao Nguyen, S. Veera Ragavan, Sajad Saeedi G., Ricardo Sanz, Mae L. Seto, Aleksandar Stefanovski, Michael Trentini, Howard Li:
Towards an Ontology for Autonomous Robots. IROS 2012: 1359-1364 - [c73]Adrian Paschke, Harold Boley, Zhili Zhao, Kia Teymourian, Tara Athan:
Reaction RuleML 1.0: Standardized Semantic Reaction Rules. RuleML 2012: 100-119 - [c72]Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov:
PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners. RuleML 2012: 264-279 - [c71]Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker:
PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes. RuleML 2012: 280-288 - [c70]Zhili Zhao, Kia Teymourian, Adrian Paschke, Harold Boley, Tara Athan:
Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML 1.0 in Rule Responder. RuleML (2) 2012 - [c69]Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov:
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers. RuleML (2) 2012 - 2011
- [j18]Adrian Paschke, Harold Boley:
Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web. International Journal on Artificial Intelligence Tools 20(6): 1043-1081 (2011) - [j17]Terje Aaberge, Rajendra Akerkar, Harold Boley:
An intensional perspective on the semantic and pragmatic web. IJMSO 6(1): 74-80 (2011) - [c68]Harold Boley, M. Omair Shafiq, Derek Smith, Taylor Michael Osmun:
The Social Semantic Subweb of Virtual Patient Support Groups. CSWS 2011: 1-18 - [c67]Mahdi Noorian, Alireza Ensan, Ebrahim Bagheri, Harold Boley, Yevgen Biletskiy:
Feature Model Debugging based on Description Logic Reasoning. DMS 2011: 158-164 - [c66]Manish Joshi, Virendrakumar C. Bhavsar, Harold Boley:
Compromise Matching in P2P e-Marketplaces: Concept, Algorithm and Use Case. MIWAI 2011: 384-394 - [c65]Tara Athan, Harold Boley:
Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG. RuleML America 2011: 17-32 - [c64]Kalliopi Kravari, Taylor Michael Osmun, Harold Boley, Nick Bassiliades:
Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems. RuleML Europe 2011: 44-51 - [c63]Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley:
Principles of the SymposiumPlanner Instantiations of Rule Responder. RuleML America 2011: 97-111 - [c62]Harold Boley:
A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. RuleML Europe 2011: 194-211 - [c61]Monica Palmirani, Guido Governatori, Antonino Rotolo, Said Tabet, Harold Boley, Adrian Paschke:
LegalRuleML: XML-Based Rules and Norms. RuleML America 2011: 298-312 - [c60]Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley:
SymposiumPlanner-2011: Querying Two Virtual Organization Committees. RuleML America (2) 2011 - 2010
- [j16]Rosemarie Velik, Harold Boley:
Neurosymbolic Alerting Rules. IEEE Trans. Industrial Electronics 57(11): 3661-3668 (2010) - [j15]Harold Boley, Michael Kifer:
A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Trans. Knowl. Data Eng. 22(11): 1593-1608 (2010) - [c59]Irfan Ul Haq, Erich Schikuta, Ivona Brandic, Adrian Paschke, Harold Boley:
SLA Validation of Service Value Chains. GCC 2010: 308-313 - [c58]Jidi Zhao, Harold Boley, Weichang Du:
Reasoning with the Fuzzy Description Logic fzSI. IJCCI (ICFC-ICNC) 2010: 21-30 - [c57]Jidi Zhao, Harold Boley, Weichang Du:
A Fuzzy Logic Based Approach to Expressing and Reasoning with Uncertain Knowledge on the Semantic Web. IJCCI (Selected Papers) 2010: 167-181 - [c56]Harold Boley, Adrian Paschke, M. Omair Shafiq:
RuleML 1.0: The Overarching Specification of Web Rules. RuleML 2010: 162-178 - [c55]Yuh-Jong Hu, Harold Boley:
SemPIF: A Semantic Meta-policy Interchange Format for Multiple Web Policies. Web Intelligence 2010: 302-307 - [i1]Adrian Paschke, Alexander Kozlenkov, Harold Boley:
A Homogeneous Reaction Rule Language for Complex Event Processing. CoRR abs/1008.0823 (2010)
2000 – 2009
- 2009
- [c54]Manish Joshi, Virendra C. Bhavsar, Harold Boley:
A knowledge representation model for matchmaking systems in e-marketplaces. ICEC 2009: 362-365 - [c53]Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig:
Social Semantic Rule Sharing and Querying in Wellness Communities. ASWC 2009: 347-361 - [c52]Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley:
Rule-Based Workflow Validation of Hierarchical Service Level Agreements. GPC Workshops 2009: 96-103 - [c51]Manish Joshi, Virendrakumar C. Bhavsar, Harold Boley, Ravindra Vaidya:
Hunt Fortune: A System for P2P E-Marketplace Matchmaking. ICETET 2009: 420-427 - [c50]Jidi Zhao, Harold Boley, Weichang Du:
Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. ICIC (2) 2009: 111-123 - [c49]Harold Boley:
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. RuleML 2009: 29-42 - [c48]Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig:
WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation. RuleML 2009: 43-52 - [c47]Sheng Gao, Harold Boley, Darka Mioc, Francois Anton, Xiaolun Yi:
Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information. RuleML 2009: 272-281 - [c46]Taylor Michael Osmun, Benjamin Larry Craig, Harold Boley:
WellnessRules: The Activity Rule Responder. RuleML Challenge 2009 - 2008
- [j14]Yevgen Biletskiy, Harold Boley, Girish R. Ranganathan:
RuleML-based learning object interoperability on the Semantic Web. Interact. Techn. Smart Edu. 5(1): 39-58 (2008) - [c45]Jidi Zhao, Harold Boley:
Combining Fuzzy Description Logics and Fuzzy Logic Programs. Web Intelligence/IAT Workshops 2008: 273-278 - [c44]Benjamin Larry Craig, Harold Boley:
Personal Agents in the Rule Responder Architecture. RuleML 2008: 150-165 - [c43]Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi:
A RuleML Study on Integrating Geographical and Health Information. RuleML 2008: 174-181 - [c42]Magda Ilieva, Harold Boley:
Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. SEKE 2008: 478-483 - [c41]Jidi Zhao, Harold Boley:
Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW 2008 - 2007
- [j13]Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar:
The DATALOGDL Combination of Deduction Rules and Description Logics. Computational Intelligence 23(3): 356-372 (2007) - [c40]Boanerges Aleman-Meza, Uldis Bojars, Harold Boley, John G. Breslin, Malgorzata Mochól, Lyndon J. B. Nixon, Axel Polleres, Anna V. Zhdanova:
Combining RDF Vocabularies for Expert Finding. ESWC 2007: 235-250 - [c39]Harold Boley, Adrian Paschke:
Expert Querying and Redirection with Rule Responder. FEWS 2007: 9-22 - [c38]Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig:
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. ICPW 2007: 17-28 - [c37]Jing Mei, Zuoquan Lin, Harold Boley:
ALCuP: An Integration of Description Logic and General Rules. RR 2007: 163-177 - [c36]Harold Boley:
Are Your Rules Online? Four Web Rule Essentials. RuleML 2007: 7-24 - [c35]Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres:
Rule Interchange on the Web. Reasoning Web 2007: 269-309 - 2006
- [j12]Jing Mei, Harold Boley:
Interpreting SWRL Rules in RDF Graphs. Electr. Notes Theor. Comput. Sci. 151(2): 53-69 (2006) - [c34]Kai Simon, Georg Lausen, Harold Boley:
From HTML documents to web tables and rules. ICEC 2006: 125-131 - [c33]Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin:
DatalogDL: Datalog Rules Parameterized by Description Logics. CSWWS 2006: 171-187 - [c32]Le Thi Thu Thuy, Doan Dai Duong, Virendrakumar C. Bhavsar, Harold Boley:
A Bottom-up Strategy for Query Decomposition. ICDIM 2006: 215-221 - [c31]Harold Boley:
The RuleML Family of Web Rule Languages. PPSWR 2006: 1-17 - 2005
- [j11]Harold Boley, Virendrakumar C. Bhavsar, David Hirtle, Anurag Singh, Zhongwei Sun, Lu Yang:
A match-making system for learners and learning objects. Interact. Techn. Smart Edu. 2(3): 171-178 (2005) - [j10]Daniel Lemire, Harold Boley, Sean McGrath, Marcel Ball:
Collaborative filtering and inference rules for context-aware learning object recommendation. Interact. Techn. Smart Edu. 2(3): 179-188 (2005) - [j9]Grigoris Antoniou, Harold Boley:
Preface. J. Web Semant. 3(1): 3-4 (2005) - [c30]Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley:
A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. IASSE 2005: 55-60 - [c29]Anna Maclachlan, Harold Boley:
Semantic Web Rules for Business Information. Web Technologies, Applications, and Services 2005: 146-153 - [c28]Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley:
Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. IICAI 2005: 2559-2572 - [c27]Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel:
A Realistic Architecture for the Semantic Web. RuleML 2005: 17-29 - [c26]Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer:
The OO jDREW Reference Implementation of RuleML. RuleML 2005: 218-223 - [c25]Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer:
Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters. Rule Languages for Interoperability 2005 - [c24]Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner:
RuleML Position Statement. Rule Languages for Interoperability 2005 - [c23]Harold Boley, Jing Mei, Michael Sintek, Gerd Wagner:
RDF/RuleML Interoperability. Rule Languages for Interoperability 2005 - 2004
- [j8]Virendrakumar C. Bhavsar, Harold Boley, Lu Yang:
A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. Computational Intelligence 20(4): 584-602 (2004) - [c22]Gerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley:
The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. Web Intelligence 2004: 628-631 - [e2]Grigoris Antoniou, Harold Boley:
Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. Lecture Notes in Computer Science 3323, Springer 2004, ISBN 3-540-23842-5 [contents] - 2003
- [c21]Harold Boley:
An Introduction to Object-Oriented RuleML. EPIA 2003: 4 - [c20]Harold Boley:
Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. RuleML 2003: 1-16 - 2001
- [c19]Harold Boley:
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP (LNCS Volume) 2001: 5-22 - [c18]Harold Boley:
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP 2001: 124-139 - [c17]Harold Boley, Said Tabet, Gerd Wagner:
Design Rationale for RuleML: A Markup Language for Semantic Web Rules. SWWS 2001: 381-401 - 2000
- [c16]Harold Boley:
Relationships between Logic Programming and RDF. PRICAI Workshops 2000: 201-218 - [c15]Harold Boley:
Markup Languages for Functional-Logic Programming. WFLP 2000: 391-403 - [c14]Harold Boley:
Beziehungen zwischen Logikprogrammierung und XML. WLP 2000: 19-34
1990 – 1999
- 1999
- [b2]Harold Boley:
A Tight, Practical Integration of Relations and Functions. Lecture Notes in Computer Science 1712, Springer 1999, ISBN 3-540-66644-3 - [j7]Harold Boley:
Functional-Logic Integration via Minimal Reciprocal Extensions. Theor. Comput. Sci. 212(1-2): 77-99 (1999) - 1998
- [c13]Harold Boley:
ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs. EJC 1998: 307-326 - 1997
- [c12]Harold Boley:
A Relational-Functional Integration for Declarative Programming. Foundations of Computer Science: Potential - Theory - Cognition 1997: 351-358 - [c11]Harold Boley:
Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. WLP 1997 - 1996
- [j6]Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek:
Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. KI 10(2): 31-33 (1996) - [j5]Harold Boley:
Funktional-logische Sprachen. KI 10(3): 62-63 (1996) - 1995
- [j4]Harold Boley, Philipp Hanschke, Knut Hinkelmann, Manfred Meyer:
CoLab: A hybrid knowledge representation and compilation laboratory. Annals OR 55(1): 9-79 (1995) - [c10]Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer:
An Environment for Exploring and Validating Declarative Knowledge. LPE 1995 - 1993
- [c9]Harold Boley:
Finite Domains and Exclusions as First-Class Citizens. ELP 1993: 37-61 - [c8]Harold Boley, François Bry, Ulrich Geske:
Neuere Entwicklungen der deklarativen KI-Programmierung. KI 1993: 226-236 - 1992
- [c7]Harold Boley:
A Direct Semantic Characterization of RELFUN. ELP 1992: 120-149 - 1991
- [c6]Harold Boley:
Extended Logic-plus-Functional Programming. ELP 1991: 45-72 - [c5]Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov:
Declarative and Procedural Paradigms - Do they Really Compete? (Panel). PDK 1991: 383-398 - [e1]