標(biāo)題: Titlebook: Logic Programming; 25th International C Patricia M. Hill,David S. Warren Conference proceedings 2009 Springer-Verlag Berlin Heidelberg 2009 [打印本頁] 作者: 令人不愉快 時間: 2025-3-21 17:31
書目名稱Logic Programming影響因子(影響力)
書目名稱Logic Programming影響因子(影響力)學(xué)科排名
書目名稱Logic Programming網(wǎng)絡(luò)公開度
書目名稱Logic Programming網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic Programming被引頻次
書目名稱Logic Programming被引頻次學(xué)科排名
書目名稱Logic Programming年度引用
書目名稱Logic Programming年度引用學(xué)科排名
書目名稱Logic Programming讀者反饋
書目名稱Logic Programming讀者反饋學(xué)科排名
作者: 背叛者 時間: 2025-3-21 22:30 作者: noxious 時間: 2025-3-22 01:57 作者: Buttress 時間: 2025-3-22 05:06 作者: BLINK 時間: 2025-3-22 10:55
Untangling Reverse Engineering with Logic and Abstractioneers also reverse to reason about the latest malicious programs and devise antivirus software. Security engineers (and malicious hackers) do not attempt to reverse assembler into, say C, which is the traditional aspiration in reversing, but merely to understand the code to sufficient depth to locate a vulnerability.作者: Repatriate 時間: 2025-3-22 15:32 作者: Lipoprotein(A) 時間: 2025-3-22 18:29
A Knowledge Base System Project for FO(.)omputational level, we will report on current attempts to build finite domain inference systems for model expansion, approximate reasoning, theory debugging and model revision, with special focus on the IDP-system, a model expansion system for FO(.).作者: Veneer 時間: 2025-3-22 23:36
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse solutions for a wide range of problems that would be awkward to solve using modules. This talk presents the Logtalk design goals, followed by a tutorial on Logtalk programming and some application examples. The talk ends with a discussion on the problems and benefits of developing Logtalk as a portable Prolog application.作者: 血統(tǒng) 時間: 2025-3-23 04:48 作者: CARE 時間: 2025-3-23 07:31 作者: 敘述 時間: 2025-3-23 16:23
Merging Logic Programs under Answer Set Semanticsing the mergings of a multiset of logic programs within the same logic programming framework. As a by-product, we provide a complexity analysis revealing that our operators do not increase the complexity of the base formalism.作者: 簡潔 時間: 2025-3-23 20:31
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logveals both common threads and differences between the FLP and stable-model semantics. We establish several properties of the FLP semantics. We apply a similar approach to define supported models for arbitrary propositional theories.作者: induct 時間: 2025-3-23 22:17
A Tabling Implementation Based on Variables with Multiple Bindingsased implementations, and perform an experimental evaluation. We also recall the similarity between OR-parallelism and suspension-based implementations of tabling, and discuss similarities with the ., among others.作者: 捏造 時間: 2025-3-24 05:08 作者: Nomogram 時間: 2025-3-24 10:08
Answer Set Programming with Constraints Using Lazy Groundingl framework for the implementation of extensions of Answer Set Programming. In this work, we demonstrate how non-ground arithmetic constraints can be easily introduced in the computation model. The paper provides preliminary experimental results which confirm the potential for this approach.作者: Tidious 時間: 2025-3-24 11:09
0302-9743 USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming作者: EWE 時間: 2025-3-24 17:20 作者: conscience 時間: 2025-3-24 21:07
A Knowledge Base System Project for FO(.)using the KB. The logic FO(.) used in the KBS is an extension of classical logic (FO) with various language primitives such as inductive definitions, aggregates, arithmetic, etc. The logic is a natural integration (and further extension) of classical logic and logic programming, and is based on the 作者: Lucubrate 時間: 2025-3-24 23:55 作者: Generic-Drug 時間: 2025-3-25 07:13
Enabling Serendipitous Search on the Web of Data Using Prologct. A number of more expressive formalisms (e.g., RDFS, OWL, SKOS) are layered on top of the core triple-model. The Web of Data has been developed to represent machine readable knowledge on the internet. Designed to deal with heterogeneous knowledge, the technology underlying the Web of Data is also作者: LUDE 時間: 2025-3-25 10:32 作者: 堅毅 時間: 2025-3-25 12:24
(C)LP Tracing and Debuggingor (constraint) logic programming. The tutorial presents trace production techniques, ranging from compiler instrumentations to dedicated meta-interpreters. It reviews work on trace analysis, in particular algorithmic, declarative and rational debugging. It discusses the issue of trace querying and 作者: Cirrhosis 時間: 2025-3-25 17:14
Probabilistic Logic Learning - A Tutorial Abstractigence: the integration of probabilistic reasoning with first order logic representations and machine learning. It has received a lot of attention recently and a rich variety of different formalisms and learning techniques have been developed, which are now being applied to applications in network a作者: Generic-Drug 時間: 2025-3-26 00:00
Using Histograms to Better Answer Queries to Probabilistic Logic Programsrlying logical language. When answering a query ., a lower and upper bound on . is obtained by optimizing (min and max) an objective function subject to a set of linear constraints whose solutions are the PDFs mentioned above. A common critique not only of PLPs but many probabilistic logics is that 作者: Aspiration 時間: 2025-3-26 02:38
Non-discriminating Arguments and Their Usessatisfying given mode and sharing restrictions. We call such arguments . arguments. We show that such arguments can be detected by an automatic analysis. Following this, we define a transformation procedure, called ., that removes the non-discriminating arguments, resulting in a program whose comput作者: 范圍廣 時間: 2025-3-26 05:13
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysisn principle, Turing complete languages. In general, such models are computationally far too complex for direct use, so optimization by pruning and approximation are needed. The first steps are taken towards a methodology for optimizing such models by approximations using auxiliary models for preproc作者: BROTH 時間: 2025-3-26 10:40
Stabilization of Information Sharing for Queries Answering in Multiagent Systemsent could sense or receive from other agents, must cooperate to provide answers to users as they may not have the knowledge or the capabilities to sense relevant changes in their environment. As their surroundings may change unpredictably, agents may provide wrong answers to queries. Stabilization r作者: 爭吵加 時間: 2025-3-26 12:56
Logic Programming for Multiagent Planning with Negotiationate, in order to achieve their goals. One way for the agents to interact is through negotiations. Integration of negotiation in multiagent planning has not been extensively investigated and a systematic way for this task has yet to be found. We develop a generic model for negotiation in dynamic envi作者: Vulnerable 時間: 2025-3-26 20:12
Answer Set Programming with Constraints Using Lazy Groundingat does not require a preliminary grounding phase. The implementation of the framework can be completely realized within the framework of Constraint Logic Programming over finite domains. The use of a high level language for the implementation and the clean structure of the computation offer an idea作者: caldron 時間: 2025-3-27 00:59
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programse logic programs, loop formulas of loops with no external support can be computed in polynomial time, and if the given program has no constraints, an iterative procedure based on these formulas, the program completion, and unit propagation computes the least fixed point of a simplification operator 作者: 過分 時間: 2025-3-27 05:00 作者: originality 時間: 2025-3-27 06:16
Merging Logic Programs under Answer Set Semanticsde characterisations of the merging of these programs. Our formal techniques are based on notions of relative distance between the underlying SE models of the logic programs. Two approaches are examined. The first informally selects those models of the programs that vary the least from the models of作者: apropos 時間: 2025-3-27 10:44
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logfor programs with aggregates (constraints), the stable-model semantics, in its broadly accepted generalization stemming from the work by Pearce, Ferraris and Lifschitz, has a competitor: the semantics proposed by Faber, Leone and Pfeifer, which seems to be . different. Our goal is to explain the rel作者: 他姓手中拿著 時間: 2025-3-27 16:51 作者: reperfusion 時間: 2025-3-27 21:36
eau hat, das der H?lfte des durchschnittlichen Pro-Kopf-Verbrauchs entspricht oder sogar darunter liegt) wie auch der absoluten Armut (nach der arm ist, wer keinen Zugang zu einem Warenkorb findet, der heutzutage in unserem Land als Mindeststandard betrachtet wird) im Wesentlichen stabil geblieben. 作者: 驕傲 時間: 2025-3-28 01:52 作者: 束縛 時間: 2025-3-28 03:42
Marc Deneckereau hat, das der H?lfte des durchschnittlichen Pro-Kopf-Verbrauchs entspricht oder sogar darunter liegt) wie auch der absoluten Armut (nach der arm ist, wer keinen Zugang zu einem Warenkorb findet, der heutzutage in unserem Land als Mindeststandard betrachtet wird) im Wesentlichen stabil geblieben. 作者: Notorious 時間: 2025-3-28 07:54
Paulo Moura sozialwissenschaftliche Bearbeitung der Problematik. In den letzten zehn Jahren scheint sich dies nun ge?ndert zu haben: Kinderarmut als gesellschaftliches Problem wird in der politischen Berichterstattung zunehmend aufgegriffen.. Allerdings wird die Auseinandersetzung um politische L?sungsstrategi作者: overrule 時間: 2025-3-28 10:55 作者: 浮夸 時間: 2025-3-28 16:24 作者: 使入迷 時間: 2025-3-28 21:46
Andy King sein, sie zu beseitigen oder zu verringern. Dies muss nicht begründet werden, ergibt sich vielmehr aus einer moralischen Grundverpflichtung gegenüber den jüngsten Gesellschaftsmitgliedern. Gleichwohl soll auch theoretisch abgeleitet werden, warum dem Kampf gegen (Kinder-)Armut h?chste Priorit?t geb作者: 斗志 時間: 2025-3-29 01:03 作者: Hippocampus 時間: 2025-3-29 04:43
Luc De Raedtindern. Immer wieder flammen neue Meldungen und Hiobsbotschaften über das Ausma? oder die Folgen von Kinderarmut auf. Es gibt Berichte über Initiativen zur Bek?mpfung von Armut oder Reportagen über Schicksale von Kindern und ihren Familien, die von Sozialhilfe, respektive Hartz IV, leben. Selten ble作者: 碎石 時間: 2025-3-29 08:52
Matthias Broecheler,Gerardo I. Simari,V. S. Subrahmanianen waren ebenso ?nderungen unterzogen wie die Sozialsysteme und die Wirtschaftsordnung. Die besonders in den neuen L?ndern dramatisch ansteigenden Arbeitslosen- und Sozialhilfeempf?ngerzahlen führten zu einer gr??eren Aufmerksamkeit der ?ffentlichkeit für diese ?Neue Armut“, der sich auch die Politi作者: Nerve-Block 時間: 2025-3-29 11:59 作者: 發(fā)出眩目光芒 時間: 2025-3-29 19:30 作者: 變白 時間: 2025-3-29 23:14
Phan Minh Dung,Do Duc Hanh,Phan Minh Thangortional rückl?ufiger Geburtenquoten bei gut ausgebildeten jungen Frauen und M?nnern — das ?ffentliche Interesse inzwischen vornehmlich der Frage, welche Bedingungen die (künftigen) Leistungstr?gerinnen und Leistungstr?ger brauchen, um ihre Kinderwünsche realisieren zu k?nnen. Lokale Bündnisse für F作者: Talkative 時間: 2025-3-30 03:51 作者: glomeruli 時間: 2025-3-30 05:11
Alessandro Dal Palù,Agostino Dovier,Enrico Pontelli,Gianfranco Rossiortional rückl?ufiger Geburtenquoten bei gut ausgebildeten jungen Frauen und M?nnern — das ?ffentliche Interesse inzwischen vornehmlich der Frage, welche Bedingungen die (künftigen) Leistungstr?gerinnen und Leistungstr?ger brauchen, um ihre Kinderwünsche realisieren zu k?nnen. Lokale Bündnisse für F作者: Daily-Value 時間: 2025-3-30 12:14
Xiaoping Chen,Jianmin Ji,Fangzhen Lin — in Westdeutschland seit den 80er-Jahren und in Ostdeutschland seit Anfang der 90er-Jahre — ist der Anteil der in Armut lebenden Familien gestiegen. Von Armut betroffen sind haupts?chlich solche Familien, in denen mindestens ein Elternteil arbeitslos ist, und Alleinerziehende, die wegen der Fürsor作者: 法律 時間: 2025-3-30 15:21 作者: LAST 時間: 2025-3-30 17:19
James Delgrande,Torsten Schaub,Hans Tompits,Stefan Woltran — in Westdeutschland seit den 80er-Jahren und in Ostdeutschland seit Anfang der 90er-Jahre — ist der Anteil der in Armut lebenden Familien gestiegen. Von Armut betroffen sind haupts?chlich solche Familien, in denen mindestens ein Elternteil arbeitslos ist, und Alleinerziehende, die wegen der Fürsor作者: 圓錐體 時間: 2025-3-30 23:12 作者: 古代 時間: 2025-3-31 02:56 作者: deadlock 時間: 2025-3-31 05:52 作者: 形容詞 時間: 2025-3-31 12:01 作者: 柏樹 時間: 2025-3-31 14:46
Logic Programming978-3-642-02846-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 拖網(wǎng) 時間: 2025-3-31 18:36 作者: esoteric 時間: 2025-3-31 23:34
Generative Modeling by PRISMPRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing it from various viewpoints, we examine some technical details related to logic programming, including semantics, search and program synthesis.作者: grenade 時間: 2025-4-1 03:26 作者: 舉止粗野的人 時間: 2025-4-1 08:47 作者: 冒失 時間: 2025-4-1 12:46 作者: 變形 時間: 2025-4-1 16:46
0302-9743 ramming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics..978-3-642-02845-8978-3-642-02846-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: ingenue 時間: 2025-4-1 18:33 作者: 場所 時間: 2025-4-2 00:39 作者: folliculitis 時間: 2025-4-2 05:59
