Search results for "SLD"

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.	Location Based Services and TeleCartography	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.	W2GIS	2005	DBLP DOI BibTeX RDF
102	Donald A. Smith	Why Multi-SLD Beats SLD (Even on a Uniprocessor).	PLILP	1994	DBLP DOI BibTeX RDF
91	Donald A. Smith, Timothy J. Hickey	Multi-SLD Resolution.	LPAR	1994	DBLP DOI BibTeX RDF
66	Sofie Verbaeten, Danny De Schreye	Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Logic Programming, Termination, Tabling
64	Konstantine Arkoudas, Olin Shivers	Trusted Theorem Proving: A Case Study in SLD-Resolution.	ISoLA	2008	DBLP DOI BibTeX RDF
54	Ekaterina Komendantskaya, John Power	Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness.	JELIA	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.	SCCC	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.	DSD	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.	PADL	2002	DBLP DOI BibTeX RDF
53	Lunjin Lu, Peter Greenfield	Abstract fixpoint semantics and abstract procedural semantics of definite logic programs.	ICCL	1992	DBLP DOI BibTeX RDF
51	Chirag Shah, W. Bruce Croft, David D. Jensen	Representing documents with named entities for story link detection (SLD).	CIKM	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.	ICTAC	2005	DBLP DOI BibTeX RDF
41	Kaustuv Chaudhuri, Frank Pfenning, Greg Price	A Logical Characterization of Forward and Backward Chaining in the Inverse Method.	J. Autom. Reason.	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.	PDP	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.	ICALT	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.	CVPR (1)	2001	DBLP DOI BibTeX RDF
40	Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez	Resolution for Logic Programming with Universal Quantifiers.	PLILP	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.	PLILP	1991	DBLP DOI BibTeX RDF
38	Graem A. Ringwood	SLD: a folk acronym?	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
28	Thorsten Reitz, Michel Krämer, Simon Thum	A processing pipeline for X3D earth-based spatial data view services.	Web3D	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.	ISMIS	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.	EIT	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).	FLOPS	2008	DBLP DOI BibTeX RDF
27	Linh Anh Nguyen	Reasoning About Epistemic States of Agents by Modal Logic Programming.	CLIMA	2005	DBLP DOI BibTeX RDF
27	Bruno de Vuyst	Dispute Resolution for gTLD Conflicts.	HICSS	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.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	prolog, tabling, SLG-resolution
27	Patricia M. Hill	The Completion of Typed Logic Programs and SLDNF-Resolution.	LPAR	1993	DBLP DOI BibTeX RDF
27	Alain Hui-Bon-Hoa	A Bottom-Up Interpreter for a Higher-Order Logic Programming Language.	PLILP	1992	DBLP DOI BibTeX RDF
27	Seppo Keronen	Natural Deduction Proof Theory for Logic Programming.	ELP	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.	Digit. Commun. Networks	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.	Sensors	2023	DBLP DOI BibTeX RDF
25	João Barbosa, Mário Florido, Vítor Santos Costa	Typed SLD-Resolution: Dynamic Typing for Logic Programming.	CoRR	2022	DBLP DOI BibTeX RDF
25	Xiaoni Zheng, Xuetong Ye, Zhe Jin, Tianyan Lan, Chaoyang Jiang	SLD-MAP: Surfel-Line Real-time Dense Mapping.	ICARCV	2022	DBLP DOI BibTeX RDF
25	Martin Senz, Mirko Bunse	DortmundAI at LeQua 2022: Regularized SLD.	CLEF (Working Notes)	2022	DBLP BibTeX RDF
25	João Barbosa, Mário Florido, Vítor Santos Costa	Typed SLD-Resolution: Dynamic Typing for Logic Programming.	LOPSTR	2022	DBLP DOI BibTeX RDF
25	Rui Wang, Chengtun Wu, Jiawen Xin, Liang Zhang	Gram-SLD: Automatic Self-labeling and Detection for Instance Objects.	CoRR	2021	DBLP BibTeX RDF
25	Wlodzimierz Drabent	SLD-resolution without occur-check, an example.	CoRR	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.	RTSI	2021	DBLP DOI BibTeX RDF
25	Sophie Tourret, Andrew Cropper	SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -.	CoRR	2019	DBLP BibTeX RDF
25	Sophie Tourret, Andrew Cropper	SLD-Resolution Reduction of Second-Order Horn Fragments.	JELIA	2019	DBLP DOI BibTeX RDF
25	Alessia Brischetto, Alessandra Rinaldi	Designing of Inclusive Learning Experiences: Preliminary Outcomes of a Pilot Project Tailored to SLD.	AHFE (3)	2019	DBLP DOI BibTeX RDF
25	Liaoruo Huang, Qingguo Shen, Wenjuan Shao, Xiaoyu Cui	Optimizing Segment Routing With the Maximum SLD Constraint Using Openflow.	IEEE Access	2018	DBLP DOI BibTeX RDF
25	Cheng-Hao Cai	SLDR-DL: A Framework for SLD-Resolution with Deep Learning.	CoRR	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.	RSP+QuWeDa@ESWC	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.	ESWC (Satellite Events)	2017	DBLP DOI BibTeX RDF
25	Saransh Jain, N. p. Nataraja	Cognition Influencing Auditory Perception in SLD Children: Revisiting the Models of Auditory Processing.	CogSci	2017	DBLP BibTeX RDF
25	Betty Shrieber	Using Mind Mapping Software to Initiate Writing and Organizing Ideas for Students with SLD and ADHD.	ICCHP (2)	2016	DBLP DOI BibTeX RDF
25	Naoki Nishida 0001, Germán Vidal	A framework for computing finite SLD trees.	J. Log. Algebraic Methods Program.	2015	DBLP DOI BibTeX RDF
25	Wen Zhou 0002, Chunheng Wang, Baihua Xiao, Zhong Zhang 0001	SLD: A Novel Robust Descriptor for Image Matching.	IEEE Signal Process. Lett.	2014	DBLP DOI BibTeX RDF
25	Stefan Brass	A Framework for Bottom-Up Simulation of SLD-Resolution.	CoRR	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.	COOL Chips	2011	DBLP DOI BibTeX RDF
25	Alberto L. Sangiovanni-Vincentelli	Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design.	Proc. IEEE	2007	DBLP DOI BibTeX RDF
25	Ekaterina Komendantskaya, Anthony Karel Seda	Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs.	MFCSIT	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.	Comput. Electr. Eng.	2005	DBLP DOI BibTeX RDF
25	Vincenzo Loia, Sabrina Senatore, Maria I. Sessa	Similarity-based SLD resolution and its role for web knowledge discovery.	Fuzzy Sets Syst.	2004	DBLP DOI BibTeX RDF
25	Jinping Li, Chongjun Yang, Jianbin Zhang, Jianyu Yang	A new Web mapping architecture based on SLD and pattern.	IGARSS	2004	DBLP DOI BibTeX RDF
25	Rajiv Bagai	Detecting infinite SLD-derivations in definite logic programs.	Neural Networks and Computational Intelligence	2004	DBLP BibTeX RDF
25	Linh Anh Nguyen	A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs.	Fundam. Informaticae	2003	DBLP BibTeX RDF
25	L. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa	Similarity-based SLD Resolution and applications to Mobile Agents.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
25	Maria I. Sessa	Approximate reasoning by similarity-based SLD resolution.	Theor. Comput. Sci.	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.	FUZZ-IEEE	2001	DBLP DOI BibTeX RDF
25	Giuliano Pacini, Maria I. Sessa	Loop checking in SLD-derivations by well-quasi-ordering of goals.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
25	Marco Comini, Maria Chiara Meo	Compositionality Properties of SLD-Derivations.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
25	Mathieu Jaume	A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
25	Wenjin Lu	View Updates in Disjunctive Deductive Databases Based on SLD-Resolution.	KRDB	1999	DBLP BibTeX RDF
25	Mathieu Jaume	Formalisation de la SLD-résolution dans le calcul des constructions inductives.	JFPLC	1997	DBLP BibTeX RDF
25	Hendrik Decker	An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases.	JICSLP	1996	DBLP BibTeX RDF
25	Peter Vojtás, Leonard Paulík	Soundness and Completeness of Non-classical SLD-Resolution.	ELP	1996	DBLP DOI BibTeX RDF
25	Marco Comini, Giorgio Levi, Maria Chiara Meo	Compositionality in SLD-Derivations and their Abstractions.	ILPS	1995	DBLP BibTeX RDF
25	Marco Comini, Giorgio Levi, Maria Chiara Meo	Compositionality in SLD-derivations and their Abstractions.	GULP-PRODE	1995	DBLP BibTeX RDF
25	Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone	Semantical Properties of SLD-Resolution with Reflection.	ICLP	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.	JFPLC	1995	DBLP BibTeX RDF
25	Pascal Nicolas, Béatrice Duval	Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory.	WOCFAI	1995	DBLP BibTeX RDF
25	Stefan Brass	Magic Sets vs. SLD-Resolution.	ADBIS	1995	DBLP DOI BibTeX RDF
25	Grigoris Antoniou, Elmar Langetepe	Applying SLD-resolution to a class of non-Horn logic programs.	Bull. IGPL	1994	DBLP DOI BibTeX RDF
25	Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone	SLD - Resolution with Reflection.	ILPS	1994	DBLP BibTeX RDF
25	Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa	Loop Checking for Reduced SLD-derivations.	GULP-PRODE (1)	1994	DBLP BibTeX RDF
25	Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone	Integrating Reflection into SLD-Resolution.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	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.	ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages	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.	JFPLC	1994	DBLP BibTeX RDF
25	Roland Olsson 0001	Execution of Logic Programs by Iterative Deepening A* SLD-Tree Search.	BIT	1993	DBLP DOI BibTeX RDF
25	Klaus Mayr	Integrating Antilemma-Constraints into SLD-Resolution.	WLP	1993	DBLP BibTeX RDF
25	Armando B. Matos	Some Results on the Complexity of SLD-Derivations.	EPIA	1993	DBLP DOI BibTeX RDF
25	Jean H. Gallier, Stan Raatz	Extending SLD Resolution to Equational Horn Clauses using E-Unification.	J. Log. Program.	1989	DBLP DOI BibTeX RDF
25	Robert F. Stärk	A Direct Proof for the Completeness of SLD-Resolution.	CSL	1989	DBLP DOI BibTeX RDF
25	Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso	Narrowing vs. SLD-Resolution.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
25	Laurent Vieille	A Database-Complete Proof Procedure Based on SLD-Resolution.	ICLP	1987	DBLP BibTeX RDF
25	Akihiro Yamamoto	A Theoretical Combination of SLD-Resolution and Narrowing.	ICLP	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)	SLP	1986	DBLP BibTeX RDF
25	Lee Naish	Heterogeneous SLD Resolution.	J. Log. Program.	1984	DBLP DOI BibTeX RDF
13	Pascual Julián Iranzo, Clemente Rubio-Manzano	A Similarity-Based WAM for Bousi~Prolog.	IWANN (1)	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.	SUM	2009	DBLP DOI BibTeX RDF
13	Paul Fodor	Research Summary: Tabled Evaluation for Transaction Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
13	Pascual Julián Iranzo, Clemente Rubio-Manzano	A declarative semantics for Bousi~Prolog.	PPDP	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.	New Gener. Comput.	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.	New Challenges in Applied Intelligence Technologies	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.	ICC	2008	DBLP DOI BibTeX RDF
13	Stephen H. Muggleton, José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad	TopLog: ILP Using a Logic Program Declarative Bias.	ICLP	2008	DBLP DOI BibTeX RDF
13	Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Quantitative Logic Programming Revisited.	FLOPS	2008	DBLP DOI BibTeX RDF	Quantitative Logic Programming, Qualification Domains, Qualification Constraints