jmackay's library 21 articles Export

	Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data [My Copy] In Proc. 18th International Conf. on Machine Learning (2001), pp. 282-289. by John Lafferty, Andrew Mccallum, Fernando Pereira posted to crf learning machine markov models statistical by jmackay on 2008-05-07 08:51:11 as along with 26 people and 5 groups kabus pprett ttylenda jkominek krisl mehrbod davidr halacsy unnonouno balajis buescher76 wcohen sids j3xucite knmnyn student_t dwf bundschu johnkork koji_matsuda mkolar markusd vlachmore kohei-h oyen idornescu Information Extraction oktave-labs generif_paper Statistical Machine Learning WLV-RGCL
	Stable models and an alternative logic programming paradigm [My Copy] In The Logic Programming Paradigm: a 25-Year Perspective (1999), pp. 375-398. by W. Marek, M. Truszczynski posted to logic models stable by jmackay on 2008-05-07 02:27:22 as along with 1 person baisemain
	A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming [My Copy] In IJCAI (2005), pp. 90-96. by Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits edited by Leslie P. Kaelbling, Alessandro Saffiotti, Leslie P. Kaelbling, Alessandro Saffiotti posted to database datalog languages logic by jmackay on 2008-05-06 05:52:56 as
	Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity [My Copy] Logics in Artificial Intelligence (2004), pp. 200-212. by Wolfgang Faber, Nicola Leone, Gerald Pfeifer posted to datalog logic sql by jmackay on 2008-05-06 05:47:50 as
	The Role of Abduction in Declarative Authorization Policies [My Copy] Practical Aspects of Declarative Languages (2008), pp. 84-99. by Moritz Becker, Sebastian Nanz posted to database datalog languages logic policy security tabled by jmackay on 2008-05-05 19:26:59 as
	A New Formulation of Tabled Resolution with Delay [My Copy] In Portuguese Conference on Artificial Intelligence (1999), pp. 163-177. by Terrance Swift posted to no-tag by jmackay on 2008-05-03 23:47:05 as
	An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs [My Copy] ACM Trans. Program. Lang. Syst., Vol. 20, No. 3. (1998), pp. 586-634. by Konstantinos F. Sagonas, Terrance Swift posted to database datalog languages logic tabled by jmackay on 2008-05-03 20:29:32 as
	Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies [My Copy] In PLILP (1996), pp. 243-258. by Juliana Freire, Terrance Swift, David S. Warren posted to database datalog logic prolog tabled xsb by jmackay on 2008-05-03 20:26:32 as
	A Summary of XSB Performance [My Copy] by Terrance Swift, David S. Warren posted to database datalog logic performance prolog xsb by jmackay on 2008-05-03 20:23:37 as along with 2 people contingencyplan baisemain
	XSB as an efficient deductive database engine [My Copy] (1994), pp. 442-453. by Konstantinos Sagonas, Terrance Swift, David S. Warren posted to database datalog logic prolog xsb by jmackay on 2008-05-03 20:22:56 as along with 2 people contingencyplan baisemain
	Design and Semantics of a Decentralized Authorization Language [My Copy] Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE In CSF '07: Proceedings of the 20th IEEE Computer Security Foundations Symposium (2007), pp. 3-15. by Moritz Becker, Cedric Fournet, Andrew Gordon posted to datalog distributed languages logic security systems by jmackay on 2008-05-02 09:43:11 as along with 4 people powerwolf bpw5 michaelbanks weqa
	A Logic for State-Modifying Authorization Policies [My Copy] Computer Security – ESORICS 2007 (2007), pp. 203-218. by Moritz Becker, Sebastian Nanz posted to no-tag by jmackay on 2008-05-02 09:41:29 as
	Cassandra: Flexible Trust Management, Applied to Electronic Health Records [My Copy] by Moritz Y. Becker, Peter Sewell posted to distributed languages logic policy security systems by jmackay on 2008-05-02 09:32:56 as
	Logicflow execution model for parallel databases [My Copy] Future Gener. Comput. Syst., Vol. 16, No. 6. (April 2000), pp. 677-692. by Peter Kacsuk, Norbert Podhorszki posted to concurrency logic by jmackay on 2008-05-01 06:34:22 as
	Prolog on the multithreaded Datarol-II machine based on the logicflow execution model [My Copy] Parallel and Distributed Processing, 1996. Eighth IEEE Symposium on In Parallel and Distributed Processing, 1996. Eighth IEEE Symposium on (1996), pp. 112-121. by P. Kacsuk, M. Amamiya posted to concurrency logic prolog by jmackay on 2008-05-01 06:33:46 as
	A multithreaded implementation concept of prolog on Datarol-II machine [My Copy] High Performance Computing (1997), pp. 91-106. by Peter Kacsuk, Makoto Amamiya posted to concurrency logic prolog by jmackay on 2008-05-01 06:30:43 as
	Alternative proposals for implementing Prolog concurrently and implications regarding their respective microarchitectures [My Copy] In MICRO 17: Proceedings of the 17th annual workshop on Microprogramming (1984), pp. 192-203. by Carl G. Ponder, Yale N. Patt posted to concurrency logic prolog by jmackay on 2008-05-01 06:30:25 as
	codeQuest: Scalable Source Code Queries with Datalog [My Copy] ECOOP 2006 – Object-Oriented Programming (2006), pp. 2-27. by Elnar Hajiyev, Mathieu Verbaere, Oege de Moor posted to analysis code database datalog logic sql by jmackay on 2008-05-01 06:29:15 as along with 1 person KarlKlose
	Implementing Prolog Programs Free from Unification [My Copy] In Workshop Logische Programmierung (1994), pp. 36-39. by Paolo Frigo, Massimo Marchiori posted to no-tag by jmackay on 2008-05-01 06:24:22 as
	Logic Programming and Negation: A Survey [My Copy] Journal of Logic Programming, Vol. 19/20 (1994), pp. 9-71. by Krzysztof R. Apt, Roland N. Bol posted to logic negation by jmackay on 2008-05-01 06:22:08 as along with 1 person vme64
	Computing Machinery and Intelligence [My Copy] Mind, Vol. LIX (1950), pp. 433-460. by Alan M. Turing posted to artificial intelligence test turing by jmackay on 2008-04-09 07:04:49 as

Note: You may cite this page as: http://www.citeulike.org/user/jmackay

logic	16
datalog	9
database	7
prolog	6
languages	5
concurrency	4
xsb	3
security	3
tabled	3
systems	2
distributed	2
models	2
sql	2
policy	2
intelligence	1
crf	1
performance	1
negation	1
learning	1
code	1
machine	1
statistical	1
test	1
turing	1
stable	1
markov	1
artificial	1
analysis	1

jmackay's library 21 articles Export

jmackay's tags