Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
184 | Albrecht Weiser, Alexander Zipf |
A visual editor for OGC SLD files for automating the configuration of WMS and mobile map applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Location Based Services and TeleCartography ![In: Location Based Services and TeleCartography, pp. 265-278, 2007, Springer, 978-3-540-36727-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
104 | Alexander Zipf |
Using Styled Layer Descriptor (SLD) for the Dynamic Generation of User- and Context-Adaptive Mobile Maps - A Technical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W2GIS ![In: Web and Wireless Geographical Information Systems, 5th International Workshop, W2GIS 2005, Lausanne, Switzerland, December 15-16, 2005, Proceedings, pp. 183-193, 2005, Springer, 3-540-30848-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
102 | Donald A. Smith |
Why Multi-SLD Beats SLD (Even on a Uniprocessor). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 40-56, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
91 | Donald A. Smith, Timothy J. Hickey |
Multi-SLD Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings, pp. 260-274, 1994, Springer, 3-540-58216-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
66 | Sofie Verbaeten, Danny De Schreye |
Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 12(1/2), pp. 157-196, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Logic Programming, Termination, Tabling |
64 | Konstantine Arkoudas, Olin Shivers |
Trusted Theorem Proving: A Case Study in SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 782-796, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
54 | Ekaterina Komendantskaya, John Power |
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 258-271, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Many-valued logic programs, categorical logic, fibrational semantics, ground semantics, SLD-resolution |
54 | Hendrik Decker |
Abduction for Knowledge Assimilation in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 48-57, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
integrity maintenance, knowledge assimilation, SLDAI, SLD-based proof procedure, update request, hypothetical fact insertions, hypothetical fact deletions, base predicates, abductive logic programming, deductive databases, deductive databases, abduction |
53 | Ines Viskic, Rainer Dömer |
A Flexible, Syntax Independent Representation (SIR) for System Level Design Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia, pp. 288-294, 2006, IEEE Computer Society, 0-7695-2609-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
syntax and semantics, simulation, modeling, evaluation, data structure, system level design, model representation |
53 | Luís Fernando Castro, Terrance Swift, David Scott Warren |
Suspending and Resuming Computations in Engines for SLG Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 332-350, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
53 | Lunjin Lu, Peter Greenfield |
Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992, pp. 147-154, 1992, IEEE Computer Society, 0-8186-2585-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
51 | Chirag Shah, W. Bruce Croft, David D. Jensen |
Representing documents with named entities for story link detection (SLD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, Arlington, Virginia, USA, November 6-11, 2006, pp. 868-869, 2006, ACM, 1-59593-433-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
story link detection, named entities, topic detection and tracking, document representation |
51 | Linh Anh Nguyen |
An SLD-Resolution Calculus for Basic Serial Multimodal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 151-165, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(2-3), pp. 133-177, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SLD resolution, Hyperresolution, Intuitionistic linear logic, Focusing, Inverse method |
41 | Jordi Tubella, Antonio González 0001 |
Exploiting path parallelism in logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 164-173, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
path parallelism, partial breadth-first search, SLD-tree, SPMD architecture, non-deterministic programs, parallel programming, logic programming, logic programming, PROLOG, Prolog, data parallelism, Multipath, execution model |
40 | Matt Harrison, Claire Stockton, Elaine Pearson |
Inclusive, Adaptive Design for Students with Learning Disabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 1023-1027, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Dara Koozekanani, Kim L. Boyer, Cynthia Roberts, Steven Katz |
Tracking the Optic Nerve Head in OCT Video Using Dual Eigenspaces and an Adaptive Vascular Distribution Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2001), with CD-ROM, 8-14 December 2001, Kauai, HI, USA, pp. 934-941, 2001, IEEE Computer Society, 0-7695-1272-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez |
Resolution for Logic Programming with Universal Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, pp. 63-77, 1997, Springer, 3-540-63398-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Universal quantifiers, specification, logic programming, programming languages, resolution, implication |
38 | Johan Boye |
S-SLD-resolution - An Operational Semantics for Logic Programs with External Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 383-393, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
38 | Graem A. Ringwood |
SLD: a folk acronym? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 24(5), pp. 71-75, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Thorsten Reitz, Michel Krämer, Simon Thum |
A processing pipeline for X3D earth-based spatial data view services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the 14th International Conference on 3D Web Technology, Web3D 2009, Darmstadt, Germany, June 16-17, 2009, pp. 137-145, 2009, ACM, 978-1-60558-432-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
CityGML, SLD, X3D earth, portrayal harmonisation, visualization, GML, spatial data infrastructure |
27 | Jan A. Plaza |
Completeness for Propositional Logic Programs with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 600-609, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
SLD-resolution, knowledge representation in logic, logic programming, declarative programming, constructive negation, rule-based expert systems, non-classical logics, negation as failure, soundness and completeness |
27 | Zhongbo Cao, Ramon Mercado, Diane T. Rover |
System-level memory modeling for bus-based memory architecture exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2009 IEEE International Conference on Electro/Information Technology, EIT 2009, Windsor, Ontario, Canada, June 7-9, 2009, pp. 239-244, 2009, IEEE, 978-1-4244-3355-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan |
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 64-80, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Linh Anh Nguyen |
Reasoning About Epistemic States of Agents by Modal Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, pp. 37-56, 2005, Springer, 3-540-33996-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Bruno de Vuyst |
Dispute Resolution for gTLD Conflicts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 190, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Internet, Domain, Legal Issues, Dispute |
27 | Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas |
Termination proofs for logic programs with tabling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 2(1), pp. 57-92, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
prolog, tabling, SLG-resolution |
27 | Patricia M. Hill |
The Completion of Typed Logic Programs and SLDNF-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings, pp. 182-193, 1993, Springer, 3-540-56944-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Alain Hui-Bon-Hoa |
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 326-340, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Seppo Keronen |
Natural Deduction Proof Theory for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, pp. 265-281, 1992, Springer, 3-540-56454-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Keliang Du, Luhan Wang, Xiangming Wen, Yu Liu, Haiwen Niu, Shaoxin Huang |
ML-SLD: A message-level stateless design for cloud-native 5G core network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Commun. Networks ![In: Digit. Commun. Networks 9(3), pp. 743-756, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Shijie Zheng, Mengyu Ren, Xin Luo, Hangyu Zhang, Guoying Feng |
Real-Time Compensation for SLD Light-Power Fluctuation in an Interferometric Fiber-Optic Gyroscope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(4), pp. 1925, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | João Barbosa, Mário Florido, Vítor Santos Costa |
Typed SLD-Resolution: Dynamic Typing for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.00192, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Xiaoni Zheng, Xuetong Ye, Zhe Jin, Tianyan Lan, Chaoyang Jiang |
SLD-MAP: Surfel-Line Real-time Dense Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 17th International Conference on Control, Automation, Robotics and Vision, ICARCV 2022, Singapore, Singapore, December 11-13, 2022, pp. 494-499, 2022, IEEE, 978-1-6654-7687-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Martin Senz, Mirko Bunse |
DortmundAI at LeQua 2022: Regularized SLD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th - to - 8th, 2022., pp. 1911-1915, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
25 | João Barbosa, Mário Florido, Vítor Santos Costa |
Typed SLD-Resolution: Dynamic Typing for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings, pp. 123-141, 2022, Springer, 978-3-031-16766-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Rui Wang, Chengtun Wu, Jiawen Xin, Liang Zhang |
Gram-SLD: Automatic Self-labeling and Detection for Instance Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.03641, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Wlodzimierz Drabent |
SLD-resolution without occur-check, an example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.01911, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Ettore Masetti, Luigi Rovati, Stefano Cattini |
A Technique for Improving the Noise-Equivalent-Displacement of SM-SLD Interferometers for Industrial Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSI ![In: 6th IEEE International Forum on Research and Technology for Society and Industry, RTSI 2021, Naples, Italy, September 6-9, 2021, pp. 446-451, 2021, IEEE, 978-1-6654-4135-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Sophie Tourret, Andrew Cropper |
SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.09900, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
25 | Sophie Tourret, Andrew Cropper |
SLD-Resolution Reduction of Second-Order Horn Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp. 259-276, 2019, Springer, 978-3-030-19569-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Alessia Brischetto, Alessandra Rinaldi |
Designing of Inclusive Learning Experiences: Preliminary Outcomes of a Pilot Project Tailored to SLD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (3) ![In: Advances in Design for Inclusion - Proceedings of the AHFE 2019 International Conference on Design for Inclusion and the AHFE 2019 International Conference on Human Factors for Apparel and Textile Engineering, Washington, DC, USA, July 24-28, 2019, pp. 22-34, 2019, Springer, 978-3-030-20443-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Liaoruo Huang, Qingguo Shen, Wenjuan Shao, Xiaoyu Cui |
Optimizing Segment Routing With the Maximum SLD Constraint Using Openflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 30874-30891, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Cheng-Hao Cai |
SLDR-DL: A Framework for SLD-Resolution with Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.02210, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
25 | Marco Balduini, Emanuele Della Valle, Riccardo Tommasini 0001 |
SLD Revolution: A Cheaper, Faster yet more Accurate Streaming Linked Data Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP+QuWeDa@ESWC ![In: Joint Proceedings of the 2nd RDF Stream Processing (RSP 2017) and the Querying the Web of Data (QuWeDa 2017) Workshops co-located with 14th ESWC 2017 (ESWC 2017), Portoroz, Slovenia, May 28th - to - 29th, 2017., pp. 1-15, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
25 | Marco Balduini, Emanuele Della Valle, Riccardo Tommasini 0001 |
SLD Revolution: A Cheaper, Faster yet More Accurate Streaming Linked Data Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC (Satellite Events) ![In: The Semantic Web: ESWC 2017 Satellite Events - ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 - June 1, 2017, Revised Selected Papers, pp. 263-279, 2017, Springer, 978-3-319-70406-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Saransh Jain, N. p. Nataraja |
Cognition Influencing Auditory Perception in SLD Children: Revisiting the Models of Auditory Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 39th Annual Meeting of the Cognitive Science Society, CogSci 2017, London, UK, 16-29 July 2017, 2017, cognitivesciencesociety.org, 978-0-9911967-6-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
25 | Betty Shrieber |
Using Mind Mapping Software to Initiate Writing and Organizing Ideas for Students with SLD and ADHD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP (2) ![In: Computers Helping People with Special Needs - 15th International Conference, ICCHP 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part II, pp. 351-357, 2016, Springer, 978-3-319-41266-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Naoki Nishida 0001, Germán Vidal |
A framework for computing finite SLD trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 84(2), pp. 197-217, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Wen Zhou 0002, Chunheng Wang, Baihua Xiao, Zhong Zhang 0001 |
SLD: A Novel Robust Descriptor for Image Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 21(3), pp. 339-342, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Brass |
A Framework for Bottom-Up Simulation of SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.4021, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
25 | Nobuaki Ozaki, Kimiyoshi Usami, Hideharu Amano, Mitaro Namiki, Hiroshi Nakamura, Masaaki Kondo |
SLD-1(Silent Large Datapath): A ultra low power reconfigurable accelerator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOL Chips ![In: 2011 IEEE Symposium on Low-Power and High-Speed Chips, Cool Chips XIV, Yokohama, Japan, 20-22 April, 2011, pp. 1-3, 2011, IEEE Computer Society, 978-1-61284-883-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Alberto L. Sangiovanni-Vincentelli |
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 95(3), pp. 467-506, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Ekaterina Komendantskaya, Anthony Karel Seda |
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCSIT ![In: Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2006, Cork, Ireland, August 1-5, 2006, pp. 141-159, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki |
An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 31(4-5), pp. 282-302, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Vincenzo Loia, Sabrina Senatore, Maria I. Sessa |
Similarity-based SLD resolution and its role for web knowledge discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 144(1), pp. 151-171, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jinping Li, Chongjun Yang, Jianbin Zhang, Jianyu Yang |
A new Web mapping architecture based on SLD and pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2004 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2004, Anchorage, Alaska, USA, 20-24 September 2004, pp. 2893-2895, 2004, IEEE, 0-7803-8742-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Rajiv Bagai |
Detecting infinite SLD-derivations in definite logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks and Computational Intelligence ![In: Proceedings of the IASTED International Conference on Neural Networks and Computational Intelligence, NCI 2004, February 23-25, 2004, Grindelwald, Switzerland, pp. 79-83, 2004, IASTED/ACTA Press. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
25 | Linh Anh Nguyen |
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 55(1), pp. 63-100, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
25 | L. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa |
Similarity-based SLD Resolution and applications to Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 193-204, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
25 | Maria I. Sessa |
Approximate reasoning by similarity-based SLD resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 275(1-2), pp. 389-426, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Vincenzo Loia, Sabrina Senatore, Maria I. Sessa |
Similarity-based SLD Rsolution and Its Implementation in An Extended Prolog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: Proceedings of the 10th IEEE International Conference on Fuzzy Systems, Melbourne, Australia, December 2-5, 2001, pp. 650-653, 2001, IEEE. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Giuliano Pacini, Maria I. Sessa |
Loop checking in SLD-derivations by well-quasi-ordering of goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 238(1-2), pp. 221-246, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Marco Comini, Maria Chiara Meo |
Compositionality Properties of SLD-Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 211(1-2), pp. 275-309, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Mathieu Jaume |
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 23(3-4), pp. 347-371, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Wenjin Lu |
View Updates in Disjunctive Deductive Databases Based on SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KRDB ![In: Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999, pp. 31-35, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
25 | Mathieu Jaume |
Formalisation de la SLD-résolution dans le calcul des constructions inductives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France, pp. 277-, 1997, Hermes, 2-86601-614-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
25 | Hendrik Decker |
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JICSLP ![In: Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996, pp. 157-169, 1996, MIT Press, 0-262-63173-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
25 | Peter Vojtás, Leonard Paulík |
Soundness and Completeness of Non-classical SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, pp. 289-301, 1996, Springer, 3-540-60983-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Marco Comini, Giorgio Levi, Maria Chiara Meo |
Compositionality in SLD-Derivations and their Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS ![In: Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995, pp. 561-575, 1995, MIT Press, 0-262-62099-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | Marco Comini, Giorgio Levi, Maria Chiara Meo |
Compositionality in SLD-derivations and their Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE ![In: 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995, pp. 533-544, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
Semantical Properties of SLD-Resolution with Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, pp. 830, 1995, MIT Press, 0-262-69177-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | Pascal Nicolas, Béatrice Duval |
Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: JFPLC'95, IVèmes Journées Francophones de Programmation en Logique & Journée d'étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France, pp. 275-289, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | Pascal Nicolas, Béatrice Duval |
Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOCFAI ![In: Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, WOCFAI 1995, 3-7 July 1995, Paris, France., pp. 281-293, 1995, Angkor, 6, rue Maître-Albert, 75005 Paris, France, 2-87892-009-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
25 | Stefan Brass |
Magic Sets vs. SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS'95), Moscow, Russia, 27-30 June 1995, pp. 185-203, 1995, Springer, 3-540-76014-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Grigoris Antoniou, Elmar Langetepe |
Applying SLD-resolution to a class of non-Horn logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. IGPL ![In: Bull. IGPL 2(2), pp. 229-241, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
SLD - Resolution with Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS ![In: Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994, pp. 554-568, 1994, MIT Press, 0-262-52191-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
25 | Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa |
Loop Checking for Reduced SLD-derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE (1) ![In: 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1, pp. 388-402, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
25 | Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
Integrating Reflection into SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming ![In: ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
25 | Michel Bergère, Gérard Ferrand, Jean-Hugues Réty |
Indipendence of the Computation Rule for SLD-derivation with delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages ![In: ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
25 | Michel Bergère, Gérard Ferrand, Jean-Hugues Réty |
Indépendance de la règle de calcul pour la résolution SLD avec retard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: JFPLC'94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France, pp. 31-46, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
25 | Roland Olsson 0001 |
Execution of Logic Programs by Iterative Deepening A* SLD-Tree Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIT ![In: BIT 33(2), pp. 214-231, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Klaus Mayr |
Integrating Antilemma-Constraints into SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Germany, Informatik-Bericht 146., pp. 69-72, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
25 | Armando B. Matos |
Some Results on the Complexity of SLD-Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, pp. 158-169, 1993, Springer, 3-540-57287-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Jean H. Gallier, Stan Raatz |
Extending SLD Resolution to Equational Horn Clauses using E-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 6(1&2), pp. 3-43, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Robert F. Stärk |
A Direct Proof for the Completeness of SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings, pp. 382-383, 1989, Springer, 3-540-52753-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso |
Narrowing vs. SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 59, pp. 3-23, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Laurent Vieille |
A Database-Complete Proof Procedure Based on SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 74-103, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
25 | Akihiro Yamamoto |
A Theoretical Combination of SLD-Resolution and Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 470-487, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
25 | Jean H. Gallier, Stan Raatz |
SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. (long version: JLP 6(1&2): 3-43) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1986 Symposium on Logic Programming, Salt Lake City, Utah, USA, September 22-25, 1986, pp. 168-179, 1986, IEEE-CS, 0-8186-0728-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
25 | Lee Naish |
Heterogeneous SLD Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 1(4), pp. 297-303, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
13 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A Similarity-Based WAM for Bousi~Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 245-252, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy Prolog, Unification by Similarity, Warren Abstract Machine, Fuzzy Logic Programming |
13 | Hui Wan 0001, Michael Kifer |
Query Answering in Belief Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management, Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings, pp. 268-281, 2009, Springer, 978-3-642-04387-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Paul Fodor |
Research Summary: Tabled Evaluation for Transaction Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 525-526, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A declarative semantics for Bousi~Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 149-160, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics |
13 | Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández |
Implementing Constructive Intensional Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 27(1), pp. 25-56, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation |
13 | Ewa Madalinska-Bugaj, Linh Anh Nguyen |
Generalizing the QSQR Evaluation Method for Horn Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Challenges in Applied Intelligence Technologies ![In: New Challenges in Applied Intelligence Technologies, pp. 145-154, 2008, Springer, 978-3-540-79354-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jyh-Horng Wen, Hsi-Chou Hsu, Po-Wei Chen |
Parallel Signal Acquisition in Ultra-Wideband Systems with Shared Looped Delay-Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 3780-3784, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Stephen H. Muggleton, José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad |
TopLog: ILP Using a Logic Program Declarative Bias. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 687-692, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Quantitative Logic Programming Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 272-288, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Quantitative Logic Programming, Qualification Domains, Qualification Constraints |